About ProofQuest Play

How it works

ProofQuest teaches you to reason like a mathematician: every claim needs a reason, and a proof is a chain of steps that each follow from the ones before.

• Proof Builder — tap the steps in order to build a valid proof. Give it a try and check it; a hint unlocks if you get stuck.
• Counterexample Hunt — find the one example that breaks a claim that looks true. A single counterexample is enough to disprove a "for all" claim.
• Concept kits — 16 short question rounds, from logical-thinking basics to advanced proof techniques.

Our privacy promise

ProofQuest Play is free, works offline, and collects nothing. No accounts, no ads, no tracking, and no data ever leaves your device — your progress, level, and streak are saved only in this browser.

Mistakes are part of it

You never lose anything for a wrong try. Wrong answers get a gentle explanation, and hints teach you how to think it through — not just the answer. That's how real proof-writing is learned.