P

paramcoq

Project information

Coq plugin to generate parametricity statements

45 Commits
3 Branches
23 Tags

README
MIT License

Created on

May 11, 2022

Loading