PrototypeCommune
amintimany/Categories
A formalization of category theory in the Coq proof assistant.
- Propriétaire
- amintimany (compte personnel)
- Étoiles
- Étoiles : 101
- Forks
- Forks : 4
- Langage
- Coq
- Licence
- Aucune
- Création
- 2015
- Sujets
- category-theorycategoriescoqcoq-formalizationproof-assistantlibraryadjunctionskan-extensionstopos
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
D’autres dépôts Coq
Tous les dépôts Coq- jonleivent/mindless-codingÉtoiles : 104CoqPrototype
- Ptival/PeaCoqÉtoiles : 104CoqPrototype
- DistributedComponents/diselÉtoiles : 103CoqPrototype