Post

Two online panels for the launch of The Proof in the Code, @kevinhartnett.bsky.social's new book on Lean and Mathlib. The Mathematicians, June 11. The Builders, June 12. Both 5pm UTC. Learn more and register: The Mathematicians: forms.gle/w16jkmsMqB2g... The Builders: forms.gle/PsxPkq3x2pES...