One week to go till Leaning In! 2026 in Berlin!

The program for Leaning In! 2026 is settled. We've got 11 (!) wonderful talks lined up. This is going to be a wonderufl time for digging into Lean, Registration is open, but space is limited so if you're thinking of coming, please do register soon. See you in Berlin! leaning.in/2026/

We''ve landed a few more talks since the last update! * Sorrachai Yingchareonthawornchai: The CSLib initiative * Simon Sorg: Machine learning for Lean * Jannis Limperg on Lean metaprogramming for AI * Will Turner on the new ProofBench effort Come join us for a day of #lean! leaning.in

Leaning In! 2026 is ON! If you like #lean and are in Berlin, Germany, Europe, or anywhere on Earth, you are invited. We've got a room at Spielfeld in Berlin. See you on March 12th! More information, including tickets and the CfP, here: leaning.in/2026/

At long last, videos from the 2025 edition of Leaning In! are now available! Just go here: www.youtube.com/playlist?lis...

If you can't wait to get some #lean action, consider hopping on to the Lean Together virtual conference. We're two days in to a four-day event, so there's still time! leanprover-community.github.io/lt2025/sched...

Leaning In! 2025 has proven more popular than we thought! We've asked the venue for more space, and we've got it. Come join us for a day #lean! leaning.in