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
Clean up or move merging
#36
Open
tlringer
opened
5 years ago