[Date Prev][Date Next] [Chronological] [Thread] [Top]

[mizar] Tom Hales on Formal proof at the Bourbaki seminar

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

http://www.bourbaki.ens.fr/TEXTES/1086.pdf

The whole session is here (with video links):
http://www.bourbaki.ens.fr/seminaires/2014/Prog_juin14.html

Josef

Prev by Date: [mizar] QED+20: Call for participation
Next by Date: [mizar] ATP and presentation service for Mizar updated to MML 5.23.1213
Index(es):
- Chronological
- Thread