Deductum (2025)
- Developer
- nonpop
- Platforms
- Windows, Linux
- Genres
- Casual, Indie, Strategy
- Rating
- 4.4 of 5, 9 player ratings
- Typical playtime
- about 1.3 hours
- Where to get it
- Steam
How it feels
A quiet, deliberate puzzle game where you slowly and methodically construct formal logical proofs, feeling a satisfying click of clarity when each step falls into place.
minimalisticintellectualcalmmethodicalchallengingfocusedrewarding
What players say
Players praise the polish and the logical challenge, comparing it to Turing Complete, but many struggle with the tutorial: it is confusing, bugged tooltips block text, and the difficulty assumes prior logic knowledge. Long-time players want more sections and a reset button.
Screenshots
More games like this
- Nonogram Nonsense (2025)
- Four Circles (2025)
- Qoob (2025)
- Prove You Can Win (2025)
- The Quiet Order (2026)
- Quadra (2026)
- 一拼到底puzzle to the end (2025)
- CIPHER ZERO (2025)
This page is from Underplayed Gems, a catalog of older and overlooked games. Not quite it? Tell the Catbot what you feel like playing and it picks from the whole catalog, or browse by platform and genre.