SuperBEST Game
Six levels. Each shows a target expression and four candidate routings — pick the cheapest correct one. The right answer comes with the Lean theorem or witness that proves it.
Multiplication on positives
x · y (x, y > 0)Six levels. Each shows a target expression and four candidate routings — pick the cheapest correct one. The right answer comes with the Lean theorem or witness that proves it.
x · y (x, y > 0)