New backend (elpi 2.0) #126
Annotations
1 error
|
Run opam pin add coq-elpi https://github.com/LPCIC/coq-elpi.git#elpi-new-compiler
Process completed with exit code 20.
|
Loading