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