1695 shaares
869 private links
869 private links
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/
