Events
Monthly Community Meeting
A monthly one-hour video call for discussing the present and future of Lean, alternatingly hosted by the Lean FRO and 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)