Timothy Gowers @wtgowers:
"Formalization of mathematical proofs has been talked about a lot
recently. Today a new journal is launched, the Annals of Formalized
Mathematics, aimed principally at mathematicians rather than computer
scientists. 淋"
-- Forwarded message -
From: Paul Shafer
Date: Fri, Mar 22, 2024 at 6:20 AM
Subject: [BLC] Conference announcement: 120 Years of Choice
To: 'Jonathan Kirby (MTH - Staff)' via British Logic Colloquium <
blc-lo...@googlegroups.com>
Dear all,
Please see the following announcement
