Lean Creators Discuss Origins And Future At Book Launch Panel

The second of two panels for the launch of The Proof in the Code, Kevin Hartnett's (@KSHartnett) new book on the development of Lean and Mathlib.

The Builders. Friday, June 12, 5pm UTC. Joining Kevin Hartnett:

Leo de Moura (@leodemoura), creator of Lean, co-founder and Chief Architect at the Lean FRO

Sebastian Ullrich (@derKha), co-founder and Head of Engineering at the Lean FRO

Jeremy Avigad, Professor of Philosophy and Mathematical Sciences at Carnegie Mellon University, Director of the Hoskinson Center for Formal Mathematics, and Directory of the Institute for Computer-Aided Reasoning in Mathematics

They talk about Lean from the inside: its origins, its design, and where it's headed, and the long road from a research project to a system now used across mathematics and AI.

Register: https://forms.gle/PsxPkq3x2pESXQNKA