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.
The meeting is virtual and open to everyone without cost. Feel free to attend as many sessions as you’d like.
https://leanprover-community.github.io/lt2024/
The meeting is virtual and open to everyone without cost. Feel free to attend as many sessions as you’d like.
https://leanprover-community.github.io/lt2024/