[FOM] Tom Hales on Formal proof at the Bourbaki seminar
Josef Urban
josef.urban at gmail.com
Wed Jun 25 07:34:45 EDT 2014
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
More information about the FOM
mailing list