Contact

Contact the Mathlib Initiative

New to the Mathlib Initiative? Learn about our mission and work or see what we're building.

General Inquiries

For general inquiries directed to the Mathlib Initiative, including media inquiries, sponsorship and funding partnerships, or any comments or issues related to this website, please email info@mathlib-initiative.org

Need help?

Please review the resources available on the Learn page on the Lean Language website, or on the Lean Community website.

For more direct support opportunities, consider joining and asking question on the Lean Community Zulip. Several Mathlib Initiative team members regularly contribute to the Lean Community Zulip.