projects / coq-categories.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
further work on CenterMonoidal
[coq-categories.git] / src / General.v-
2011-03-21 Adam Megaczrename General/Preamble to avoid conflict with ghc... blob | commitdiff
formalization of basic category theory in Coq