New backend (elpi 2.0) #155
Annotations
1 error
|
Run opam pin add coq-hierarchy-builder https://github.com/math-comp/hierarchy-builder.git#elpi-2.0
Process completed with exit code 20.
|
Loading