From zero to the infinite barrier. Interactive lessons, quizzes, and games that teach EML without prerequisites. Start with addition. End with silence.
The trust-boundary lesson as a game: spot the unsound open-interval Rolle, build the counterexample f = x on (0,1) pinned to 0, and watch its conclusion collapse to 1 = 0.
Hear the cost class of an equation — pitch, timbre and ornament from the Pfaffian profile
Climb from arithmetic to infinity
Approximate any continuous function with a finite EML tree
Exhaustive EML expression search across one billion trees
Walkthrough of the EML identity that ties exp and ln together
Coverage of the exp(-x) operator and its dual structure
Concrete mathematical actions across the EML hierarchy
Walk through theorems decomposed into proof blocks
Build EML expressions by hand and watch them evaluate
Stack EML bricks and discover what they compute
Match operations to cheapest routes
Which costs more?
One equation, five representations
The interactive essay walkthrough