AlphaUncommon
UniMath/agda-unimath
The agda-unimath library
- Owner
- UniMath (organization)
- Stars
- Stars: 318
- Forks
- Forks: 105
- Language
- Agda
- License
- MIT
- Created
- 2021
- Topics
- homotopy-type-theoryunivalent-foundationsunivalent-mathematicscategory-theorycommutative-algebrafinite-groupsgraph-theoryorder-theoryring-theorystructured-types
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by UniMath
All 5 repos by UniMath- UniMath/UniMathStars: 1,022Rocq ProverBeta
- UniMath/SymmetryBookStars: 452HTMLAlpha
- UniMath/FoundationsStars: 247CoqPrototype
- UniMath/TypeTheoryStars: 122Rocq ProverPrototype
Nearby in Agda
All Agda repos- agda/agda-categoriesStars: 412AgdaAlpha
- cedille/cedilleStars: 398AgdaAlpha
- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha
- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
- pigworker/CS410-17Stars: 265AgdaAlpha