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: Jan 07 2026 at 01:55 UTC