Home

Welcome to the Lean FAQs! Try find whatever issue you want in the sidebar, and if you don't see it, feel free to ask in the Zulip #new members stream!

How do I get involved?

Start writing some code for something you see missing in mathlib! Feel free to ask in Zulip, the community is very friendly and will help suggest something if not; there is also issues tagged with "good first project" in mathlib that can be helpful. When you have any code you want to show (at all! even a couple lines is helpful) then go to #new members stream and ask for permission to push to non-master branches; this allows other to review your code and hopefully get it into mathlib!