Lean meetup in Berlin on March 15th, 2025?

Stream: general

[Jesse Alama]

Anyone interested in a Lean meetup in Berlin, Germany on Saturday, March 15th, 2025? There will be a good number of functional programmers in town for BOBKonf 2025, which takes place on the 14th. (Lean was the topic of a tutorial earlier this year, led by Joachim Breitner and David Christiansen.) If there's enough interest I can try booking a little coworking spot for us.

[Andrés Goens]

maybe it's worth posting on the #Geographic locality stream?