Depending on regular Coq-ELPI #4
Description
For long-term maintenance of this project, I believe it is essential to depend on the regular Coq-ELPI.
There is a pending pull request to Coq-ELPI with the changes required: LPCIC/coq-elpi#544
{{ message }}