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.

Google Meet meeting recordings

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 if you want us to take a look in advance!

Google Meet meeting (not recorded)

Calendar of Events