PrototypeCommon
thehottgame/TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
- Owner
- thehottgame (personal account)
- Stars
- Stars: 141
- Forks
- Forks: 16
- Language
- Agda
- License
- None
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
Nearby in Agda
All Agda repos- martinescardo/HoTT-UF-Agda-Lecture-NotesStars: 238AgdaPrototype
- agda/agda2hsStars: 210AgdaPrototype
- copumpkin/categoriesStars: 154AgdaPrototype
- ice1000/BooksStars: 140AgdaPrototype
- gallais/agdarsecStars: 138AgdaPrototype
- UlfNorell/agda-preludeStars: 135AgdaPrototype