Math Lab 🔢
Run the formulas and verify. The playground executes a worked solution step by step in your browser — cross-checking the running steps, the <<check>>, the #### answer, and optionally a Python run — so an answer is trusted only when independent methods agree. Then keep expanding: generate new problems that are verifiable by construction and deep-verify each. Pairs with Datasets (curate & train) and the Grove (publish).
Run & verify a solution
Worked solution
Write steps as name = expression (use earlier names + functions like sqrt, gcd, factorial), a <<check: … = …>>, and a #### answer.
Verification