Fun Math Kids

Young Geniuses · Ages 13 to 14

All Young Geniuses games

Formal Proof Escape

Justify each step of a deductive proof to escape the grand mathematical academy, for ages 13 to 14.

EscapeStep through deductive mathematical proofs~10 min per level3 levelsAll devices
  • Free · no account required
  • COPPA compliant
  • +10 XP per level
  • 3 levels
  • Plays on all devices
  • Curriculum-aligned

The learning journey

Every activity is one step. Here is where this one fits.

  1. Play(you are here)Learn the idea in a game
  2. PractiseLock it in on paper
  3. ReviewCome back and keep it sharp
  4. MasterTake on a harder challenge
  5. AchieveEarn a certificate

About Formal Proof Escape

Formal Proof Escape unfolds in the grand mathematical academy, where each gateway opens only when the correct justification for a proof step is chosen. Matching claims such as “the alternate angles are equal” to the rule that proves them builds the deductive reasoning at the very heart of higher mathematics, turning formal proof into an engaging, multi-stage challenge. It is built for ages 13 to 14 (grade 8 and grade 9, GCSE Higher) with clear instructions, large touch targets, and progressive difficulty, so students can work independently or alongside a parent. Correct answers bring encouraging feedback and a small celebration, while mistakes are never punished and simply invite another try, which keeps confidence high. The challenge grows step by step so it always matches the learner, supporting steady progress across the upper-secondary and GCSE Higher curriculum used in the US, UK, Canada, and Australia. The game runs in any modern browser with no app to install, no sign-up, and no advertising shown to children. Progress is saved only on the device and appears in the Parent Dashboard, so families can follow growth without any data leaving the browser. It pairs well with our Young Geniuses worksheets for offline practice of the same skills.

Chosen by the skills this activity practises.

A hand for grown-ups

Before you start
These need thinking time, not speed. Set the expectation that a good puzzle is meant to take a while.
While they work
Resist jumping in. A long pause is a child thinking, not a child stuck — give it room before offering a nudge.
Afterwards
Ask "how did you work that out?" more than "is it right?". The reasoning is the skill; the answer is just the evidence.
Watch out for
Guessing to escape the discomfort of not knowing. Reassure them that being stuck for a bit is normal and fine.
Away from the screen
Play strategy games, do puzzles, ask "what comes next?" with patterns of objects. Reasoning is a muscle.

How to play

  1. A question appears on screen

    A maths question is shown in large text at the centre of the play area. A timer bar begins counting down from 120 seconds.

  2. Choose the correct answer

    Answer options are shown as large buttons. Tap or click the correct option. Any input method works — touch, mouse or keyboard.

  3. Build your streak

    Each consecutive correct answer increases your streak. A longer streak lights up the flame icon and adds a bonus multiplier to the XP you earn for the level.

  4. Finish the level

    Each level has 5 questions. Complete them to earn the full level reward (+10 XP, plus up to +10 XP for a perfect run). Progress is saved locally and shown on the Parent Dashboard.

🎓 Curriculum

Curriculum alignment

Mapped to national curriculum frameworks so teachers and parents can match practice to school standards.

  • United StatesCommon Core State Standards for Mathematics · reasoning, proof, logicAligned to reasoning, proof, logic number and operations objectives.
  • United KingdomNational Curriculum for England — Maths · reasoning, proof, logicAligned to reasoning, proof, logic number and operations objectives.
  • AustraliaAustralian Curriculum v9.0 — Mathematics · reasoning, proof, logicAligned to reasoning, proof, logic number and operations objectives.
  • CanadaPan-Canadian Provincial Standards · reasoning, proof, logicAligned to reasoning, proof, logic number and operations objectives.
❓ FAQ

Frequently Asked Questions

  • It is designed for ages 13 to 14 (grade 8 and grade 9, GCSE Higher) and follows the upper-secondary curriculum.

More Young Geniuses games

View all
  • SpeedNew

    Young Geniuses · Ages 13 to 14

    Surds Speed Simplifier

    Simplify surds and radicals against a friendly timer in a quantum energy research facility, for ages 13 to 14.

    5 levels+40 XP
    ProgressNot started
    5 levels · BeginnerPlay
  • BuilderNew

    Young Geniuses · Ages 13 to 14

    Tangent Line Builder

    Read a curve and its tangent, then find the gradient at a point in an autonomous vehicle engineering lab, for ages 13 to 14.

    4 levels+38 XP
    ProgressNot started
    4 levels · BeginnerPlay
  • PuzzleNew

    Young Geniuses · Ages 13 to 14

    Circle Theorem Grid

    Apply advanced circle theorems to fill a logic grid in the astronomical navigation archives, for ages 13 to 14.

    4 levels+38 XP
    ProgressNot started
    4 levels · BeginnerPlay