Email Gateway (Dec 17 2023 at 22:56): Email Gateway (Dec 17 2023 at 22:56):From: Rob Lewis <rob.y.lewis@gmail.com>
Dear all,
Lean Together 2024 will take place virtually January 9-12:
https://leanprover-community.github.io/lt2024/
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.
A preliminary program is now available on the website. 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: Apr 29 2024 at 04:18 UTC