nnexus
nnexus copied to clipboard
some HoTT linking issues
Just putting these here so they don't get lost - I imagine they will be resolved in the course of current work on link accuracy.
https://groups.google.com/forum/#!topic/homotopytypetheory/tZMQEa7y35k
http://nforum.mathforge.org/discussion/5025/homotopy-type-theory-univalent-foundations-of-mathematics/?Focus=44415#Comment_44415