arthuraa / cufp-2015-tutorial
An introductory tutorial for the Coq proof assistant.
☆10Updated 6 years ago
Alternatives and similar repositories for cufp-2015-tutorial:
Users that are interested in cufp-2015-tutorial are comparing it to the libraries listed below
- Luck -- A Language for Property-Based Generators