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

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 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

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.