banner
LightNews
leaninginconf.bsky.social
Leaning In!
@leaninginconf.bsky.social
5 followers 3 following 3 posts
A workshop for Lean enthusiasts and practitioners. March 13, 2025 — Berlin https://leaning.in
leaning.in
Posts Media Videos Starter Packs
leaninginconf.bsky.social
Leaning In! @leaninginconf.bsky.social · Apr 23
At long last, videos from the 2025 edition of Leaning In! are now available! Just go here:

www.youtube.com/playlist?lis...
Leaning In! 2025 - YouTube
Videos for the talks presented at Leaning In! 2025 in Berlin, Germany. https://leaning.in/2025/
www.youtube.com
4 5
leaninginconf.bsky.social
Leaning In! @leaninginconf.bsky.social · Jan 16
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...
Schedule
A meeting all about Lean
leanprover-community.github.io
leaninginconf.bsky.social
Leaning In! @leaninginconf.bsky.social · Jan 16
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
Leaning In! 2025
leaning.in
1