coq-elpi

Coq plugin embedding elpi

License

GNU Lesser General Public License v2.1

Coq plugin embedding elpi

Creator

LPCIC

Related apps