Walk the path from foundations to mastery — three times.
One source, the sciences and humanities together. Every unit speaks at three levels. Beginner for the intuitive picture. Intermediate for the formal definition with proofs and exercises. Master for graduate-level depth, with primary-source citations.
The full curriculum
13 domains · 51 sections · 1828 units
Mathematics
21 sections · 1354 unitsFoundations through algebraic geometry, symplectic structures, representation theory, logic, and numerical analysis.
Physics
6 sections · 152 unitsClassical mechanics through QFT, statistical mechanics, and general relativity.
Chemistry
3 sections · 36 unitsGeneral, physical, organic, and inorganic — built on the quantum-mechanical core.
Biology
3 sections · 49 unitsMolecular and cellular through organismal, ecological, and evolutionary biology.
Health & medicine
1 section · 8 unitsClinical and applied physiology, public health, and the biology of disease.
Earth & space
2 sections · 14 unitsEarth systems, planetary science, and astronomy from observation to cosmology.
Computing
1 section · 12 unitsComputer science: algorithms, systems, languages, theory of computation.
Philosophy
1 section · 18 unitsThe methods and history of thought that shape every other domain.
Mind & society
3 sections · 26 unitsPsychology, sociology, and anthropology — how minds and groups work.
Language
3 sections · 54 unitsGrammar, writing, and the techniques that move literature.
Arts
1 section · 8 unitsMusic, visual art, and the structures of aesthetic practice.
History
2 sections · 34 unitsWorld history and the history of science — how knowledge and societies developed.
World
4 sections · 63 unitsEconomics, civics, geography, and media literacy — how the human world is structured.
What this is
A self-contained curriculum across the sciences and humanities — math, physics, chemistry, biology, philosophy, language, and the social world. The same concept three times: an intuitive picture for the curious, a formal treatment with exercises for the rigorous, and a deep treatment with original-source citations for graduate readers.
Every unit anchors on the canonical literature of its field and contextualises the original conception alongside the modern synthesis. Cross-references are validated at build time. Where Mathlib covers a result, Lean formalisation status is tracked per-unit. The whole thing builds clean.