๐Ÿ“• subnode [[@jakeisnt/hott]] in ๐Ÿ“š node [[hott]]
๐Ÿ“• text contributed by @jakeisnt ๐Ÿ”—

References and tools for Homotopy Type Theory.

https://www.cs.bham.ac.uk/~mhe/HoTT-UF-in-Agda-Lecture-Notes/index.html https://github.com/HoTT/book homotopy type theory book https://github.com/EgbertRijke/HoTT-Intro intro hott course (agda)

https://en.wikipedia.org/wiki/Univalent_foundations <button class="pull-url" value="https://en.wikipedia.org/wiki/Univalent_foundations">pull</button> Dependent Typesresearch in which math structures are built out of objects called types

Receiving pushes... (requires JavaScript)
Loading context... (requires JavaScript)
๐Ÿ“– stoas (collaborative spaces) for [[@jakeisnt/hott]]