About Math STEM
A curriculum that takes a self-taught learner from high-school algebra to graduate-level mastery in mathematics and physics. Every concept exists at three depths in a single source document; the site filters what you see.
The three tiers
Pick a tier in the header. Each unit packs all three depths into one source file; the tier toggle changes which sections render.
- Beginner — intuition, visuals, worked examples with everyday numbers. Anchored on 3Blue1Brown and Strogatz Infinite Powers. Endpoint: scientific literacy.
- Intermediate — definitions, proofs, exercises, scaffolded Lean puzzles. Anchored on Axler Linear Algebra Done Right, Apostol Calculus, Griffiths Electrodynamics. Endpoint: undergrad-textbook mastery.
- Master — full proofs, primary literature, hard problems, full Lean formalisation where Mathlib covers. Anchored on Lang Algebra, Hartshorne, Bott-Tu, Lawson-Michelsohn, Weinberg. Endpoint: graduate research readiness.
How units work
A unit is one concept — one theorem cluster, one technique. All three tiers live in the same markdown source. Section markers ([Beginner], [Intermediate+], [Master]) gate visibility; the toggle in the header is the user-facing switch.
Cross-references like [04.04.03] link to other units at your current tier. Citations like [ref: source locator] open a side panel with full source metadata. Mathlib-formalisation status is declared per unit and aggregated on the Lean page below.
v0.1 is apex-first: Master-tier graduate content seeded at the top of the curriculum first (spin geometry, QFT, algebraic topology). Beginner and Intermediate tiers exist as place-holders for apex units; they fill in as the prerequisite chain reaches them.
If you arrived hoping for accessible introductions to graduate math, you are early. v1 is the right time to come back. v0.x is for graduate readers who want a single cross-linked reference.
Browse the curriculum
Three ways to find a unit.
Where the material comes from
Every Master-tier unit cites primary literature with page references. Where a published source isn't available we cite first-principles reasoning. The booklist below is the canonical anchor set; the connections registry is the cross-unit synthesis layer.
Project & contributors
Math STEM ships through automated quality gates and a human reviewer pipeline. The production plan, reviewer protocol, and house-style specs are all public.