Leaning In! @leaninginconf.bsky.social · 05/03/2026One week to go till Leaning In! 2026 in Berlin! 000
Leaning In! @leaninginconf.bsky.social · 12/02/2026The 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/leaning.inLeaning In! 2026A workshop for the Lean community - Thursday, March 12, 2026 002
Leaning In! @leaninginconf.bsky.social · 08/12/2025We''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.inleaning.inLeaning In! 2026A workshop for the Lean community - Thursday, March 12, 2026 013
Leaning In! @leaninginconf.bsky.social · 26/10/2025Leaning 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/leaning.inLeaning In! 2026Leaning In! is a one-day workshop dedicated to the Lean programming language and proof assistant. 143
Leaning In! @leaninginconf.bsky.social · 23/04/2025At long last, videos from the 2025 edition of Leaning In! are now available! Just go here: www.youtube.com/playlist?lis...youtube.comLeaning In! 2025 - YouTubeVideos for the talks presented at Leaning In! 2025 in Berlin, Germany. https://leaning.in/2025/ 044
Leaning In! @leaninginconf.bsky.social · 16/01/2025If 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...leanprover-community.github.ioScheduleA meeting all about Lean 000
Leaning In! @leaninginconf.bsky.social · 16/01/2025Leaning 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.inleaning.inLeaning In! 2025 001
