Community
Ask questions, share ideas and connect with other community members. Lean has a vibrant and growing community that is friendly towards people of all skill levels.
Lean Community Website
Contribution Guidelines
Developer Environment Setup
User Forums
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! Here is the calendar link.
Google Meet meeting (not recorded)
Community Meetings
A bimonthly one-hour video call for discussing the present and future of Lean, hosted by the Mathlib maintainers.