/coq-tricks

Tricks you wish the Coq manual told you

Primary LanguageCoq

Watchers