coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
495 stars
23 watching
21 forks
Language: Coq
last commit: about 2 months ago
Linked from 2 awesome lists
coq
coq-tricks Tricks you wish the Coq manual told you [maintainer=@tchajed]
uhub/awesome-coq