∀∃  Lean Together 2024  ∃∀ A meeting all about Lean

Contact

Organizers

If you have any questions or suggestions, feel free to contact the organizers by email or on Zulip.

Meeting venue

The workshop will take place virtually over Zoom. Links will be emailed to registered participants and posted on Zulip.