leanprover-community / mathlib

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

Zulip Chat Archive

Stream: Leaning In!

Topic: 2026?


Joachim Breitner (Aug 26 2025 at 07:25):

Will there be a leaning in next year as well?

Joachim Breitner (Sep 03 2025 at 07:04):

@Jesse Alama ↑

Jesse Alama (Sep 03 2025 at 07:08):

Yes! Stay tuned for details…


Last updated: Dec 20 2025 at 21:32 UTC

Theme Simple by wildflame © 2016 Powered by jekyll