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...
