A two-part online panel series marks the launch of The Proof in the Code, @KSHartnett 's new book on the development of Lean and Mathlib. Registration links below.

The Mathematicians. Thursday, June 11, 5pm UTC. Johan Commelin, Kevin Buzzard, and Alex Kontorovich join Kevin Hartnett to discuss what it means to formalize mathematics in Lean, and how computer verification is changing the way mathematicians collaborate, build trust, and decide what counts as proof.

The Builders. Friday, June 12, 5pm UTC. Leo de Moura, Sebastian Ullrich, and Jeremy Avigad join Kevin Hartnett to talk about Lean from the inside: its origins, its design, and the road from a research project to a system now used across mathematics and AI.

The Mathematicians: https://forms.gle/w16jkmsMqB2gF8t77 The Builders: https://forms.gle/PsxPkq3x2pESXQNKA