PrototypeCommon
amintimany/Categories
A formalization of category theory in the Coq proof assistant.
- Owner
- amintimany (personal account)
- Stars
- Stars: 101
- Forks
- Forks: 4
- Language
- Coq
- License
- None
- Created
- 2015
- Topics
- category-theorycategoriescoqcoq-formalizationproof-assistantlibraryadjunctionskan-extensionstopos
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Coq
All Coq repos- jonleivent/mindless-codingStars: 104CoqPrototype
- Ptival/PeaCoqStars: 104CoqPrototype
- DistributedComponents/diselStars: 103CoqPrototype