From: Rob Lewis <firstname.lastname@example.org>
Lean Together 2021, a meeting for Lean users and other formalizers, will
take place virtually January 4-7.
At this meeting we discuss ongoing projects in formalized mathematics and
software verification, as well as infrastructure and outreach for Lean and
its community. We welcome speakers and participants from other proof
assistant communities, as well as people who are inexperienced with proof
assistants but want to learn more.
More detailed scheduling information will appear on the website soon. We
hope that you'll save the dates and attend some or all of the sessions!
If you have any questions please contact the organizers:
Last updated: Dec 08 2021 at 09:20 UTC