yforster/coq-tricks

Tricks you wish the Coq manual told you

Coq