HoTT Updates

Many updates have been made to the various other pages on the site: Code, Events, Links, People, References.  For example, there are several new items on models of the Univalence Axiom on the References page.

This entry was posted in Uncategorized. Bookmark the permalink.

Leave a comment