lngen
MITHaskellcoq-8.10
Generates locally nameless definitions and infrastructure lemmas for Coq from Ott language specifications.
33 stars9 forks0 contributors
Overview
Tool for generating Locally Nameless definitions and proofs in Coq, working together with Ott
Related Projects
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.
