coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] IAS program wiki

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Types list list <types-announce AT lists.seas.upenn.edu>, Coq Club <coq-club AT inria.fr>, agda list <agda AT lists.chalmers.se>
Subject: [Coq-Club] IAS program wiki
Date: Thu, 30 Aug 2012 14:20:24 -0400
Envelope-to: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, agda AT lists.chalmers.se

Hello,

I have created a wiki for the forthcoming special year on Univalent
Foundations at IAS. The wiki is in a very rudimentary stage yet but it will
eventually get more content. It is here: uf-ias-2012.wikispaces.com

Vladimir.

[Coq-Club] IAS program wiki, Vladimir Voevodsky, 08/30/2012