ProofPath

Turn a few focused minutes into a clear proof.

This offline logic game gives you a field of unknown cells and a trail of numerical clues. Reveal safe ground, mark hazards, and use overlapping clues to account for every cell. The first reveal is always safe, while each later decision is yours to reason through.

Choose from three field sizes:
• Beginner: 9 × 9 with 10 hazards
• Intermediate: 12 × 12 with 24 hazards
• Advanced: 16 × 16 with 40 hazards

Play a quick random field or work through 60 deterministic levels. The level path introduces one idea at a time, including irregular playable shapes and pre-locked safe boundaries. Empty safe areas open together so the useful information arrives quickly without making the board feel rushed.

During a field you can:
• Reveal cells with a tap
• Cycle a cell through marker, question, and clear with a long press
• Keep a visible marker mode for one-handed play
• Pause the clock, restart, or return safely to the home screen
• Review a mistake with the triggering cell and its clue context

At the finish, see your time, marker accuracy, and whether the field was completed without guessing. Local statistics, best times, completion progress, preferences, and an in-progress field remain on your device so you can return to the same proof later.

There are no accounts, ads, payments, rankings, or required network connection. The experience is designed to be quiet, readable, and useful for a short break.