issues
search
JasonGross
/
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
38
stars
9
forks
source link
Also test standalone builds on CI
#170
Closed
JasonGross
closed
11 months ago