leanprover-community / mathlib

  • Home
  • Zulip archive
  • API documentation
  • Lean web editor
  • Links

Zulip Chat Archive

Stream: Leaning In!

Topic: Program shaping up, but there's still room!


Jesse Alama (Dec 23 2025 at 13:59):

I'm happy to announce that the program for Leaning In! 2026 is about 3/4 full. We've got a lot of great talks lined up so far, but there are still room for a couple more, so if you're able to come to Berlin on March 12th, we'd love to have you (here's the talk submission form)!


Last updated: Feb 28 2026 at 14:05 UTC

Theme Simple by wildflame © 2016 Powered by jekyll