Please note that this newsitem has been archived, and may contain outdated information or links.
9 - 12 January 2024, Lean Together 2024, Online
Date: 9 - 12 January 2024
Location: Online
Lean Together is an annual meeting for users, developers, and fans of the Lean proof assistant and its library mathlib. 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 participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.
For more information, see
https://leanprover-community.github.io/lt2024/
or contact David Thrane Christiansen at david at lean-fro.org, Robert Y. Lewis at robert_lewis at brown.edu, or Patrick Massot at patrick.massot at math.cnrs.fr.
Please note that this newsitem has been archived, and may contain outdated information or links.