PUMPKIN-PATCH
PUMPKIN-PATCH copied to clipboard
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
Results
46
PUMPKIN-PATCH issues
Sort by
recently updated
recently updated
newest added