GitHub repository: mukeshtiwari/coq-tricks
Primary language: Coq
Description: Tricks you wish the Coq manual told you