[CakeML] Fwd: [Coq-Club] Tom Hales on Formal proof at the Bourbaki seminar

[Ramana Kumar]

In the PDF below Hales makes some nice mentions of CakeML :)

---------- Forwarded message ----------
From: Josef Urban <josef.urban at gmail.com>
Date: Wed, Jun 25, 2014 at 12:34 PM
Subject: [Coq-Club] Tom Hales on Formal proof at the Bourbaki seminar
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>


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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20140625/84d132f9/attachment.html>