git.megacz.com Git - coq-categories.git/atom - src/FreydAFT_ch9_8.v historyformalization of basic category theory in Coqhttp://git.megacz.com/?p=coq-categories.git/git-favicon.png/git-logo.png2011-03-11T07:59:30Zgitwebinitial checkin of coq-categories library2011-03-11T07:59:30ZAdam Megaczmegacz@cs.berkeley.eduAdam Megaczmegacz@cs.berkeley.edu2011-03-11T07:59:30Zhttp://git.megacz.com/?p=coq-categories.git;a=commitdiff;h=ff3003c261295c60d367580b6700396102eb5a9c