GitHub repository: stepchowfun/coq-fun
Primary language: Coq
Created: 2017-07-04T08:35:13Z
Description: A selection of Coq developments.