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

Scott Owens S.A.Owens at kent.ac.uk
Wed Jun 25 15:03:58 UTC 2014


He mentions CakeML around minute 34 to 35 in the video.

-Scott

On 2014/06/25, at 12:46, Ramana Kumar <Ramana.Kumar at cl.cam.ac.uk> wrote:

> 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
> 
> _______________________________________________
> Users mailing list
> Users at cakeml.org
> https://lists.cakeml.org/listinfo/users

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/users/attachments/20140625/774a2669/attachment.html>


More information about the Users mailing list