AlphaUncommon
martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
- Owner
- martinescardo (personal account)
- Stars
- Stars: 288
- Forks
- Forks: 58
- Language
- Agda
- License
- GPL-3.0
- Created
- 2018
- Topics
- univalent-foundationsagdahomotopy-type-theorytype-theoryconstructive-mathematicscompact-typetotally-separated-typeinjective-typeordinalsearchable-set
- Tier
- Alpha (250 to 699 ★) What this tier means
More repos by martinescardo
All 3 repos by martinescardo- martinescardo/HoTTEST-Summer-SchoolStars: 341TeXAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 238AgdaPrototype
Nearby in Agda
All Agda repos- EgbertRijke/HoTT-IntroStars: 373AgdaAlpha
- UniMath/agda-unimathStars: 318AgdaAlpha
- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
- pigworker/CS410-17Stars: 265AgdaAlpha
- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 238AgdaPrototype
- agda/agda2hsStars: 210AgdaPrototype