Contact
Use this page for corrections, content feedback, partnership questions, and site issues.
Send editorial feedback and general questions to [email protected].
For code examples, include the page URL and the Lean version or Mathlib version you used, if known.
Good reasons to get in touch
- A Lean snippet no longer compiles.
- A tactic explanation is unclear or missing an important edge case.
- You found a typo, broken link, or outdated installation step.
- You want to suggest a new tutorial topic.
Corrections
Corrections are prioritized when they affect runnable code, installation steps, or the meaning of a proof. If a page is updated after a correction, the change is reflected in the article content and the sitemap on the next deployment.
Please do not send private credentials, account secrets, or unpublished research material. Lean examples should be small enough to paste into a single.lean file.