monogate.dev
Proof
Arrange the proof blocks in the correct logical order. Tap two blocks to swap them.
0/9 theorems proven
Theorem — difficulty ★☆☆
exp(x) = eml(x, 1)
The exponential function is a single EML call.
0/4 blocks in correct position
1
∎ QED
eml(x, 1) = exp(x) − 0 = exp(x)
2
FACT
ln(1) = 0
3
STEP
Substitute y = 1
4
DEF
eml(x, y) = exp(x) − ln(y)
Theorems
Progress
0/9
theorems proven
How to play
The proof blocks are shuffled. Tap two blocks to swap their positions. Arrange them in valid logical order — each step should follow from the previous. The number badge turns green when a block is in the right position.
Mathematics isn't about knowing theorems — it's about understanding WHY they're true. Each proof is a chain of logic. Your job: find the right order. From simple identities to the Infinite Zeros Barrier — prove them all.