https://github.com/LPCIC/coq-elpi
Coq114
5 months ago
Coq plugin embedding elpi
GNU Lesser General Public License v2.1