Proof Assistant for Category Theory

Name
Last commit
Last update
src Loading commit data...
static Loading commit data...
.gitignore Loading commit data...
.merlin Loading commit data...
.ocp-indent Loading commit data...
Makefile Loading commit data...
Makefile.options Loading commit data...
README Loading commit data...
pact.conf.in Loading commit data...