We keep almost nothing, and we show our work.

Mathlib Map is an informational visualization of a public software library. It is not a substitute for the Mathlib documentation or source, and the numbers here are derived estimates, not official statistics. Verify against Mathlib itself before relying on anything.

There are no accounts and no logins.

• Preferences. Your light or dark theme choice is stored in your own browser and never sent to us.
• Usage analytics. When enabled, we use a privacy-respecting analytics service to count page views and which views people use, without advertising or selling data. You can block it with any content blocker; the site works the same.

The subject area assigned to each part of Mathlib is chosen by a language model from the file's own documentation, with hand overrides. It can be wrong. Every area page shows which files it counts and offers a one-click way to report a misclassification.

Questions, corrections, or removal requests: open an issue on GitHub.