A curriculum, not a textbook

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 units

Foundations through algebraic geometry, symplectic structures, representation theory, logic, and numerical analysis.

Physics

6 sections · 152 units

Classical mechanics through QFT, statistical mechanics, and general relativity.

Chemistry

3 sections · 36 units

General, physical, organic, and inorganic — built on the quantum-mechanical core.

Biology

3 sections · 49 units

Molecular and cellular through organismal, ecological, and evolutionary biology.

Health & medicine

1 section · 8 units

Clinical and applied physiology, public health, and the biology of disease.

Earth & space

2 sections · 14 units

Earth systems, planetary science, and astronomy from observation to cosmology.

Computing

1 section · 12 units

Computer science: algorithms, systems, languages, theory of computation.

Philosophy

1 section · 18 units

The methods and history of thought that shape every other domain.

Mind & society

3 sections · 26 units

Psychology, sociology, and anthropology — how minds and groups work.

Language

3 sections · 54 units

Grammar, writing, and the techniques that move literature.

Arts

1 section · 8 units

Music, visual art, and the structures of aesthetic practice.

History

2 sections · 34 units

World history and the history of science — how knowledge and societies developed.

World

4 sections · 63 units

Economics, 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.