Discussion of Homotopy Type Theory and Univalent Foundations
 help / color / mirror / Atom feed
* UF-IAS-2012 wiki archived
@ 2018-05-07 11:28 Michael Shulman
  0 siblings, 0 replies; only message in thread
From: Michael Shulman @ 2018-05-07 11:28 UTC (permalink / raw)
  To: HomotopyT...@googlegroups.com

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:

https://ncatlab.org/ufias2012/published/HomePage

Let us know if you find any formatting or other problems.

^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2018-05-07 11:28 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2018-05-07 11:28 UF-IAS-2012 wiki archived Michael Shulman

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).