coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] an update to "Univalent Foundations"

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq-Club Club <coq-club AT inria.fr>
Cc: Homotopytypetheory AT googlegroups.com
Subject: [Coq-Club] an update to "Univalent Foundations"
Date: Sat, 3 Sep 2011 07:57:10 -0400

I have posted yesterday a very substantial update to my git repository on the
univalent foundations. See https://github.com/vladimirias . ;

Vladimir.

[Coq-Club] an update to "Univalent Foundations", Vladimir Voevodsky
- Message not available
  - Re: [Coq-Club] an update to "Univalent Foundations", Vladimir Voevodsky