Events
Bimonthly Community Meeting
A bimonthly one-hour video call for discussing the present and future of Lean, hosted by the Mathlib maintainers.
Office Hours
A weekly one-hour video call hosted by a changing set of Lean FRO team members to answer your technical questions about Lean. Send questions to officehours@lean-fro.org if you want us to take a look in advance!
Google Meet meeting (not recorded)