/coq-elpi

Coq plugin embedding elpi

Primary LanguageOCamlGNU Lesser General Public License v2.1LGPL-2.1

Watchers