Demo for Deductum

Deductum Demo

AppID 3889590 Developer nonpop Publisher nonpop Release 18 December 2025

Minimalistic puzzle game where you build formal logical proofs.

App ID3889590
App typeDemo
Parent appDeductum 3862840
Developernonpop
Publishernonpop
Release date18 December 2025
Release statereleased
Store pagestore.steampowered.com/app/3889590
Last store refresh4 hours ago

Launch options

#ExecutableArgumentsOSDescription
0deductum.x86_64linux
1deductum.exewindows