01jwiegley/category-theoryRocq Prover#9937 overallAn axiom-free formalization of category theory in Coq for personal study and practical work7 daysStars81924h gain0Score0.0
02abuseofnotation/category-theory-illustratedHTML#49090 overallA book about category theory7 daysStars48724h gain0Score-0.1
