Contact

Lean FRO🔗

For general inquiries directed to the Lean FRO, including media inquiries, sponsorship, or any comments or issues related to this website, please email contact@lean-fro.org

Need help?🔗

Please review the resources available on the Learn page, or on the Lean Community website. For more direct support opportunities, consider joining and asking question on the Lean Community Zulip. Several Lean FRO team members regularly contribute to the Lean Community Zulip.

Security Disclosures🔗

Please report bugs in Lean as GitHub issues first. If a bug is confirmed to be a security vulnerability, please email the details to security@lean-fro.org with the subject line "Security Disclosure".