Skip to Content.

Sympa Menu

coq-club - [Coq-Club] update ( cont. )

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] update ( cont. )

chronological Thread

From: Vladimir Voevodsky <vladimir AT ias.edu>
To: Coq-Club Club <coq-club AT inria.fr>, homotopytypetheory AT googlegroups.com
Subject: [Coq-Club] update ( cont. )
Date: Sat, 3 Sep 2011 08:09:08 -0400

Just a note : the new versions of the univalent foundations files are at a
new branch called "implicit" .

Vladimir.

[Coq-Club] update ( cont. ), Vladimir Voevodsky

Archive powered by MhonArc 2.6.16.