Home / Games / Prove You Can Win
Prove You Can Win
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.
What players say
Steam review score and the most-helpful voices, which may include critical ones. Score via Steam as of 2026-09-26.
“I bought it because of a negative review saying "you may use more meaningful names to introduce arguments in a function". That basically told me that this game was created by a mathematician. Even though English is a little bit clumsy and it's hard to get into first, once you…”
— a player, Steam review · 1 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…”
— a player, Steam review · 1 hrs played“This game was nice (even though it was a bit inconvinient) until Chapter 1-4, and when I saw last proposition in Chapter 5, I was really hype about it. But sadly, it's proof was really disappointing for me. It would be really wonderful if definitions and structures this game had…”
— a player, Steam review · 16 hrs playedAchievement stats
Global completion rates across all Steam players — a data view of how far people actually get. Source: Steam official stats · as of 2026-09-26.
Latest official news
Developer announcements via the Steam news API — links go to the original posts. More across all games on the news hub.
20250403 fix
Fix the bug: Rule 2.1 is wrongly showed in the tutorial when proving proposition 2.1.
20250120 update
fix some text error add macOS version (It's better to try the demo version before buying the game)
Games like Prove You Can Win
From our knowledge graph — ranked by shared traits, not a black box. Each card says why it's here.
The Farmer Was Replaced
96.2% · 3,774 reviews
shares Text Based, Logic, Minimalist, Puzzle
Murders on the Yangtze River
96.8% · 1,015 reviews
shares Text Based, Logic, Puzzle, Indie
Hexcells
96.7% · 3,488 reviews
shares Logic, Minimalist, Puzzle, Indie
LYNE
95.2% · 4,068 reviews
shares Logic, Minimalist, Puzzle, Indie
Hexcells Plus
94.7% · 1,632 reviews
shares Logic, Minimalist, Puzzle, Indie
Hexcells Infinite
97.7% · 2,934 reviews
shares Logic, Minimalist, Puzzle, Indie
Hook
96.5% · 4,271 reviews
shares Logic, Minimalist, Puzzle, Indie
SquareCells
89.6% · 787 reviews
shares Logic, Minimalist, Puzzle, Indie
Screenshots
Official Steam store screenshots — click any shot to enlarge.
Facts & details
From the Steam store record, snapshot 2026-09-26.
| Genres | Indie |
| Player tags | Puzzle · Logic · Text-Based · Minimalist · Singleplayer · Indie (SteamSpy community voting) |
| Features | Single-player · Steam Achievements · Steam Cloud · Family Sharing |
| Languages | Simplified Chinese, English |
| Achievements | 9 |
Minimum system requirements (PC)
Minimum: Requires a 64-bit processor and operating system OS *: Windows 7 or later Processor: 1.6GHz Memory: 2 GB RAM Storage: 80 MB available space