BetaRare
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
- Owner
- jwiegley (personal account)
- Stars
- Stars: 819
- Forks
- Forks: 85
- Language
- Rocq Prover
- License
- BSD-3-Clause
- Created
- 2014
- Topics
- category-theorycoqmonadprofunctorcomonadsmonoidprofunctor-compositionconstructioncategorycategories
- Tier
- Beta (700 to 1,999 ★) What this tier means
More repos by jwiegley
All 11 repos by jwiegley- jwiegley/use-packageStars: 4,453Emacs LispRC
- jwiegley/git-scriptsStars: 1,370ShellBeta
- jwiegley/emacs-asyncStars: 914Emacs LispBeta
- jwiegley/git-from-the-bottom-upStars: 893SCSSBeta
- jwiegley/dot-emacsStars: 795Emacs LispBeta
- jwiegley/alertStars: 469Emacs LispAlpha
Nearby in Rocq Prover
All Rocq Prover repos- UniMath/UniMathStars: 1,022Rocq ProverBeta
- mit-plv/fiat-cryptoStars: 851Rocq ProverBeta
- magmide/magmideStars: 841Rocq ProverBeta
- achlipala/frapStars: 737Rocq ProverBeta
- math-comp/math-compStars: 709Rocq ProverBeta
- uwplse/verdiStars: 627Rocq ProverAlpha