hott topic
List
hott repositories
HoTT-Intro
355
Stars
28
Forks
Watchers
An introductory course to Homotopy Type Theory
HoTT-Agda
408
Stars
59
Forks
Watchers
Development of homotopy type theory in Agda
anders
18
Stars
1
Forks
Watchers
Anders: Cubical Type Checker
ground_zero
36
Stars
1
Forks
Watchers
Ground Zero: Lean 4 HoTT Library