What's the best way to find counterexamples to Coq conjectures?
Primary LanguageCoq
This repository is not active