projects / coq-categories.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
make mf_compose_coherence transparent
[coq-categories.git] / .gitignore
1 build/
2 build/**
formalization of basic category theory in Coq