jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
CoqBSD-3-Clause
Watchers
- annenkovConcordium
- atennapelNetherlands
- B-RichNone
- bond15Two Six Labs
- ComFreek@KWARC
- conengineTashirojima
- eemailme
- elfi
- JasonGrossMachine Intelligence Research Institute
- jhcloos
- josephjohncoxUnited States
- Josh-Tilles
- jwiegley@kadena-io
- lulucca12
- MarisaKirisame魔法の森, Gensokyo
- ppedrot
- ScottFreeCodesomewhere vaguely terrestrial
- suhailshergill
- TheNomadicMonad
- Tiancheng-Luo