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