Much better build process (actual dependencies instead of submodules, which were just for development purposes)

uwplse / PUMPKIN-PATCH

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

MIT License

51 stars 2 forks source link

Open tlringer opened 5 years ago

tlringer commented 5 years ago

Karl Palmskog (@palmskog) has offered to help