/coq-tricks

Tricks you wish the Coq manual told you

Primary LanguageCoq

Stargazers

No one’s star this repository yet.