/coq-tricks

Tricks you wish the Coq manual told you

Primary LanguageCoq

No issues in this repository yet.