issues
search
JasonGross
/
coq-tools
Some scripts to help construct small reproducing examples of bugs, implement [Proof using], etc.
MIT License
39
stars
9
forks
source link
[CI] Run at midnight PST, not 4pm PST
#190
Closed
JasonGross
closed
10 months ago