coq-club AT inria.fr

Subject: The Coq mailing list

List archive

From: Josef Urban <josef.urban AT gmail.com>
To: mizar-forum <mizar-forum AT mizar.uwb.edu.pl>, isabelle-users <isabelle-users AT cl.cam.ac.uk>, hol-info <hol-info AT lists.sourceforge.net>, coq-club <coq-club AT inria.fr>, Foundations of Mathematics <fom AT cs.nyu.edu>, projects-mkm-ig <projects-mkm-ig AT lists.jacobs-university.de>
Subject: [Coq-Club] Tom Hales on Formal proof at the Bourbaki seminar
Date: Wed, 25 Jun 2014 13:34:45 +0200

[Coq-Club] Tom Hales on Formal proof at the Bourbaki seminar, Josef Urban, 06/25/2014