coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Univalent Foundations Library

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: "HomotopyTypeTheory AT googlegroups.com" <homotopytypetheory AT googlegroups.com>, coq-club Club <coq-club AT inria.fr>
Subject: [Coq-Club] Univalent Foundations Library
Date: Fri, 3 Jan 2014 10:48:41 -0500

Hello,

the Univalent Foundations Library together with an overview paper for it has
finally been accepted to arXiv. It can be found here:
http://arxiv.org/abs/1401.0053 .

Vladimir.

[Coq-Club] Univalent Foundations Library, Vladimir Voevodsky, 01/03/2014