Monthly Archives: May 2018
UF-IAS-2012 wiki archived
The wiki used for the 2012-2013 Univalent Foundations program at the Institute for Advanced Study was hosted at a provider called Wikispaces. After the program was over, the wiki was no longer used, but was kept around for historical and … Continue reading
Posted in News
2 Comments
Homotopy Type Theory 