jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
CoqBSD-3-Clause
Stargazers
- abevoelkernorthern Wisconsin
- acowleyPhiladelphia, PA, USA
- B-RichNone
- bennofs
- bts@dropbox
- bturrubiatesSan Francisco Bay Area
- cosmo0920@chronosphereio
- dariajungNYC
- dmalikov
- dvberkel@fifth-postulate
- flashusYuzhno-Sakhalinsk, Russia
- GealNantes, France
- iemejiaMicrosoft
- igstanEloquentix
- jarhoadsPittsburgh
- jkominekBoulder, CO
- jonsterlingUniversity of Cambridge
- jtanguy@Sfeir
- kai-qu
- logicshan
- MarisaKirisame魔法の森, Gensokyo
- mattnearySan Francisco, CA
- maxthomas
- mgrabovskyFakta o klimatu
- myuonJapan
- Mzk-LeviChicago, Il
- rdesfoMaine
- relrodRed Hat, Inc.
- rockymaddenUiPath
- sdiehlLondon
- sheganinansData Scientist & Language Architect
- suhailshergill
- TanebReggio Emilia, Italy
- tapeinosyne
- TheNomadicMonad
- timjb@TNG Technology Consulting GmbH