Mathlib overview

Mathlib's own overview of what it contains, area by area (docs/overview.yaml).

• General algebra
• Linear algebra
• Topology
• Analysis
• Probability Theory
• Geometry
• Combinatorics
• Dynamics
• Data structures
• Logic and computation

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.