A Seamless, Interactive Tactic Learner and Prover for Coq
Primary LanguageOCaml
No one’s star this repository yet.