Tag Archives: geometry
What is homotopy type theory? An amateur speaks.
Learning some Euclidean geometry helped me to understand the basics of what homotopy type theory is. Continue reading →
Posted in undergrad maths
|
Tagged Ali Sever, Euclid, Floris van Doorn, geometry, Grassmanian, homotopy-type-theory, Reid Barton
|
12 Comments
Xena 