GitHub repository: tildedave/coq-playground
Primary language: Coq
Created: 2017-09-19T23:34:21Z
Description: Trying to improve at Coq