rzrn/romeo

Castle Romeo: Experimental Theorem Prover for Category Theory

语言：OCaml · GitHub 星标：3 · Fork：0

话题：category-theory · mathematics · proof-assistant · theorem-prover

在 GitHub 上查看原仓库