BêtaRare
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
- Propriétaire
- jwiegley (compte personnel)
- Étoiles
- Étoiles : 819
- Forks
- Forks : 85
- Langage
- Rocq Prover
- Licence
- BSD-3-Clause
- Création
- 2014
- Sujets
- category-theorycoqmonadprofunctorcomonadsmonoidprofunctor-compositionconstructioncategorycategories
- Rang
- Bêta (700 à 1 999 ★) Ce que veut dire ce rang
Autres dépôts de jwiegley
Les 11 dépôts de jwiegley- jwiegley/use-packageÉtoiles : 4 453Emacs LispRC
- jwiegley/git-scriptsÉtoiles : 1 370ShellBêta
- jwiegley/emacs-asyncÉtoiles : 914Emacs LispBêta
- jwiegley/git-from-the-bottom-upÉtoiles : 893SCSSBêta
- jwiegley/dot-emacsÉtoiles : 795Emacs LispBêta
- jwiegley/alertÉtoiles : 469Emacs LispAlpha
D’autres dépôts Rocq Prover
Tous les dépôts Rocq Prover- UniMath/UniMathÉtoiles : 1 022Rocq ProverBêta
- mit-plv/fiat-cryptoÉtoiles : 851Rocq ProverBêta
- magmide/magmideÉtoiles : 841Rocq ProverBêta
- achlipala/frapÉtoiles : 737Rocq ProverBêta
- math-comp/math-compÉtoiles : 707Rocq ProverBêta
- uwplse/verdiÉtoiles : 627Rocq ProverAlpha