Deductum
2025· Puzzle, Strategy, Indie · PC / Linux
GLHF may earn a commission from some store links. Rankings are based on price, availability, and quality signals.
Minimalistic puzzle game where you build formal logical proofs.
Screenshots & Media
Game Details
Release
Platforms Linux, PC (Microsoft Windows)
Steam Deck Unknown
OS Support Windows, Linux
Game Modes Single player
English: Interface
Price History
Loading price chart…