AlphaUncommon
statebox/idris-ct
formally verified category theory library
- Owner
- statebox (organization)
- Stars
- Stars: 272
- Forks
- Forks: 26
- Language
- Idris
- License
- AGPL-3.0
- Created
- 2019
- Topics
- category-theoryformal-verificationformal-proofs
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by statebox
All 3 repos by statebox- statebox/awesome-applied-ctStars: 473Alpha
- statebox/cqlStars: 189HaskellPrototype
Nearby in Idris
All Idris repos- idris-hackers/software-foundationsStars: 459IdrisAlpha
- joaomilho/awesome-idrisStars: 414IdrisAlpha
- typedefs/typedefsStars: 373IdrisAlpha
- ziman/lightyearStars: 243IdrisPrototype
- stefan-hoeck/idris2-tutorialStars: 240IdrisPrototype
- puffnfresh/iridiumStars: 209IdrisPrototype