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



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




This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.