homotopy-type-theory topic
List
homotopy-type-theory repositories
ground_zero
44
Stars
1
Forks
Watchers
Ground Zero: Lean 4 HoTT Library
Type-Theory-Wishlist
17
Stars
0
Forks
Watchers
Personal research notes