GitHub repository: tchajed/coq-tricks
Primary language: Coq
Created: 2016-11-27T19:20:10Z
Description: Tricks you wish the Coq manual told you