Refactor Coq plugin library (common to DEVOID and PUMPKIN PATCH)

uwplse / PUMPKIN-PATCH

Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker

MIT License

51 stars 2 forks source link

Closed tlringer closed 5 years ago