Prove You Can Win (2025)

Developer: zqh games
Platforms: Windows, macOS
Genres: Indie
Rating: 4.3 of 5, 54 player ratings
Typical playtime: about 9.9 hours
Where to get it: Steam

The 3D catalog: game boxes on wooden shelves, with the cat sitting at the counter next to its greeting.

The catalog in 3D

The same catalog has a room you can walk around in. The cat behind the counter is the AI Catbot, and they pick real games from it when you tell them what you feel like playing. Nothing is for sale, here or in there. Go in from here and this game is already out on the counter, with more like it waiting on the shelf next to it.

More games like this

How it feels

A cerebral, methodical exercise in formal logic where you feel like a mathematician proving theorems through code entry, with a quiet satisfaction upon each deduction.

minimalisttext-basedcontemplativemethodicallogic-drivenabstractintellectualsolitary

What players say

Players who enjoy formal logic find the puzzle design clever, especially later chapters. Most complaints center on the editor, where referring to lines by number makes proofs long and repetitive, and players want lemmas or labels. Some feel misled by the final chapter, which rests on an inconsistent system.

Screenshots

More games like this

This page is from Underplayed Gems, a catalog of older and overlooked games. Not quite it? You can browse by platform and genre, or take this one into the 3D catalog and ask the Catbot for something closer.