CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
Primary LanguageOCamlOtherNOASSERTION
No one’s star this repository yet.