FernandoChu / HoTT-Book-Agda

The content of the HoTT book formalized in Agda

https://fernandochu.github.io/HoTT-Book-Agda/index.html

7100

FernandoChu/HoTT-Book-Agda Stargazers

Michaël
afmika
ebigram
ebigram
Piotr Paradziński
lemastero
maplgebra
m4p1e
M4tr1xt4ng
MATRIXKOO
Zhijie Liu
Rroscha

Links

ProductDiscover

Data Powerby api.github.com. Remove your profile on the Giters? Go to settings.

Contact Site Admin: Giters.