Castle Romeo: Experimental Theorem Prover for Category Theory
Primary LanguageOCaml
No issues in this repository yet.