Proof Updater Mechanically Passing Knowledge Into New Proofs, Assisting The Coq Hacker
No resources for this project.