uwplse/PUMPKIN-PATCH Issues
Run Preprocess automatically
Updated 1Put into the Coq CI
UpdatedUpdate to latest coq version
UpdatedUse good evar_map hygeine
Closed 1Clean up code a lot
Updated 2Merge in DEVOID
ClosedMake a test script
Updated
Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker