projects / coq-categories.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
coq-categories.git
2011-03-21 Adam Megaczadd formalization of Arrows and Freyd Categories commit | commitdiff | tree | snapshot
2011-03-21 Adam Megaczrename General/Preamble to avoid conflict with ghc... commit | commitdiff | tree | snapshot
2011-03-11 Adam Megaczinitial checkin of coq-categories library commit | commitdiff | tree | snapshot
formalization of basic category theory in Coq