JasonGross/slow-coq-examples

Examples of Coq being really slow

GitHub repository with 5 stars and 1 forks.

Language: Coq

Open provider repository