/romeo

Castle Romeo: Experimental Theorem Prover for Category Theory

Primary LanguageOCaml

Stargazers