GitHub repository: JasonGross/slow-coq-examples
Primary language: Coq
Created: 2016-06-03T19:07:02Z
Description: Examples of Coq being really slow