Break discussions on Gather

Stream: Lean Together 2026

[Markus Himmel]

By popular demand, we decided to bring back break discussions in small groups via Gather. If you are interested in chatting to other Lean Together participants during breaks, you can join here: https://app.gather.town/app/2GHsEEYBhAOXgVRd/Lean%20Together

[Henrik Böving]

bump

[Julian Berman]

bump 2