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
Merge fixpoint to induction principle translation in from DEVOID
#5
Closed
tlringer
closed
5 years ago