3 ms·

The text was developed open source on GitHub and is available free here: http://homotopytypetheory.org/book/ http://homotopytypetheory.org/book/ It's very well

by jds375 13y ago

The text was developed open source on GitHub and is available free here: http://homotopytypetheory.org/book/ http://homotopytypetheory.org/book/ It's very well done.