Stream: Archive Mirror: Isabelle Users Mailing List

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


view this post on Zulip Email Gateway (Aug 19 2022 at 14:38):

From: Josef Urban <josef.urban@gmail.com>
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


Last updated: Mar 28 2024 at 12:29 UTC