https://github.com/tchajed/coq-tricks
Coq458
9 months ago
Tricks you wish the Coq manual told you
Library to create Coq record update functions
Coq40mit
6 months ago