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