Comment Comment by jsmorph [0] https://en.wikipedia.org/wiki/Homotopy_type_theory[1] https://homotopytypetheory.org/book/ parent jsmorph 4 years ago
[1] https://homotopytypetheory.org/book/