Events

Bimonthly Community Meeting

A bimonthly one-hour video call for discussing the present and future of Lean, hosted by 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 officehours@lean-fro.org if you want us to take a look in advance!

Google Meet meeting (not recorded)

Calendar of Events

iCal