Re:Propositions as Types (2014) [pdf]
by harveywi on Saturday November 14, 2015 @11:48AM
(#10566247)
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...
If you find anything else, let us know!