samuelgruetter / counterexamples

What's the best way to find counterexamples to Coq conjectures?

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

samuelgruetter/counterexamples Stargazers