Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Lean Together 2021: January 4-7, Call for Part...

view this post on Zulip Email Gateway (Dec 07 2020 at 10:22):

From: Rob Lewis <>
Dear all,

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