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