Daily Shaarli
July 17, 2022
A great introduction article on homotopy type theory! I've been learning HoTT recently, and this article explained it really well.
Also read: https://www.science4all.org/article/homotopy-type-theory/
A great introduction article on homotopy type theory! I've been learning HoTT recently, and this article explained it really well.
Also read: https://www.science4all.org/article/homotopy-type-theory/