Fix the description of prop 4.6 in English
2025-05-23Fix the description of prop 4.6 in English
Open on SteamLoading game details, prices and reviews...
Loading game details, prices and reviews...
zqh games / Jan 4, 2025 / Indie
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.
| 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 |
Fix the description of prop 4.6 in English
Open on Steam5 user reviews
40% positive, 5 reviews
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
Cool idea for a game.
0 found this helpful, 2026-10-01
