8
UF-IAS-2012 wiki archived
source link: https://homotopytypetheory.org/2018/05/07/uf-ias-2012-wiki-archived/
Go to the source link to view the article. You can view the picture content, updated content and better typesetting reading experience. If the link is broken, please click the button below to view the snapshot at that time.
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 archival purposes; much of it is out of date, but it still contains some content that hasn’t been reproduced anywhere else.
Unfortunately, Wikispaces is closing, so the UF-IAS-2012 wiki will no longer be accessible there. With the help of Richard Williamson, we have migrated all of its content to a new archival copy hosted on the nLab server:
Let us know if you find any formatting or other problems.
Loading...
Recommend
About Joyk
Aggregate valuable and interesting links.
Joyk means Joy of geeK