Lean Together 2021 A meeting for Lean users and other formalizers



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.