C

coq-elpi

Project information

Coq plugin embedding Elpi

132 Commits
4 Branches
60 Tags

README
GNU LGPLv2.1
CHANGELOG

Created on

December 03, 2021

Loading