A regression proof selection tool for the Coq proof assistant
-
Updated
Dec 1, 2017 - Shell
A regression proof selection tool for the Coq proof assistant
Add a description, image, and links to the regression-proof-selection topic page so that developers can more easily learn about it.
To associate your repository with the regression-proof-selection topic, visit your repo's landing page and select "manage topics."