Lawrence H. Dunn III from FSU put together a really nice honors thesis that provides a gentle overview of HoTT. The author was an undergrad math student, so th

Lawrence H. Dunn III from FSU put together a really nice honors thesis that provides a gentle overview of HoTT. The author was an undergrad math student, so there might be a couple mistakes here and there, but the text was quite accessible. http://diginole.lib.fsu.edu/cgi/viewcontent.cgi?article=1357&context=uhm http://diginole.lib.fsu.edu/cgi/viewcontent.cgi?article=1357... If you find anything else, let us know!