coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
38 stars
4 watching
9 forks
Language: Python
last commit: 12 days ago
Linked from 1 awesome list
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.