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.
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 email@example.com if you want us to take a look in advance!
Google Meet meeting (not recorded)