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
compat with coq/coq#19310
#202
Closed
JasonGross
closed
2 months ago
JasonGross
commented
2 months ago
Combination of #200 and #201 Closes #200 Closes #201
Combination of #200 and #201 Closes #200 Closes #201