PrototypeCommon
martinescardo/HoTT-UF-Agda-Lecture-Notes
Lecture notes on univalent foundations of mathematics with Agda
- Owner
- martinescardo (personal account)
- Stars
- Stars: 238
- Forks
- Forks: 22
- Language
- Agda
- License
- GPL-3.0
- Created
- 2019
- Topics
- hott-ufunivalent-foundationsunivalent-mathematicsagdahomotopy-type-theorymlttmartin-lof-type-theorylecture-notesdependent-typesunivalence-axiom
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by martinescardo
All 3 repos by martinescardo- martinescardo/HoTTEST-Summer-SchoolStars: 341TeXAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
Nearby in Agda
All Agda repos- liamoc/learn-you-an-agdaStars: 315AgdaAlpha
- martinescardo/TypeTopologyStars: 288AgdaAlpha
- pigworker/CS410-17Stars: 265AgdaAlpha
- agda/agda2hsStars: 210AgdaPrototype
- copumpkin/categoriesStars: 154AgdaPrototype
- thehottgame/TheHoTTGameStars: 141AgdaPrototype