GitHub - rzrn/romeo: Castle Romeo: Experimental Theorem Prover for Category Theory

Name		Name	Last commit message	Last commit date
Latest commit History 86 Commits
examples		examples
experiments		experiments
share/castle-romeo-vscode		share/castle-romeo-vscode
.gitignore		.gitignore
Makefile		Makefile
check.ml		check.ml
dune		dune
dune-project		dune-project
eval.ml		eval.ml
ident.ml		ident.ml
module.ml		module.ml
monad.ml		monad.ml
parser.ml		parser.ml
pp.ml		pp.ml
prelude.ml		prelude.ml
romeo.ml		romeo.ml
romeo.opam		romeo.opam
term.ml		term.ml