issues
search
uwplse
/
PUMPKIN-PATCH
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
MIT License
51
stars
2
forks
source link
Make a test script
#4
Open
tlringer
opened
5 years ago