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 code a lot #8

Open tlringer opened 5 years ago

tlringer commented 5 years ago

This is the overarching cleanup metatask

tlringer commented 5 years ago

See #9, #25