Prove You Can Win

zqh games / Jan 4, 2025 / Indie

windows
Mac

0 playing now

This is a puzzle game like a mathematical book, based on logic and deduction. In this game, you don't need to beat the level, but need to prove it is beatable. Your goal is not to win, but to prove you can win.

Can your PC run it?

Change your PC

Part	Your PC	MinimumNot sure	RecommendedNot sure
CPU	Not set	1.6GHz Can't tell	Not listed Can't tell
GPU	Not set	Not listed Can't tell	Not listed Can't tell
RAM	Not set	2 GB RAM Can't tell	Not listed Can't tell

What's new

Fix the description of prop 4.6 in English

2025-05-23

Fix the description of prop 4.6 in English

Open on Steam

What players say

4 user reviews

25% positive, 4 reviews

Not recommended1 hrs played

I tried this as an introduction to interactive theorem proving. This game formalizes a maze game, but instead of finding a path, you prove that a path exists using a small set of axioms. The biggest downside is the UI/UX: compared to actual interactive theorem provers, it feels noticeably less smooth and less capable. Also, many interactive theorem provers are free, and there are plenty of free beginner-friendly...

4 found this helpful, 2025-12-12

More like this

Murders on the Yangtze River

97% positive reviews

In commonPuzzle and Logic

CaseCracker

91% positive reviews

In commonPuzzle and Logic

Patrick's Parabox

99% positive reviews

In commonPuzzle and Logic

Lost in Play

98% positive reviews

In commonPuzzle and Logic

shapez 2 - Factory

98% positive reviews

In commonPuzzle and Logic

Firework

98% positive reviews

In commonPuzzle and Text-Based