Deductum

2025

Deductum

PCLinux

Minimalistic puzzle game where you build formal logical proofs.

IndiePuzzleStrategy

Screenshots

1 of 5

Reviews

Nobody has published a review of this game yet.

Your save

Where to play

There’s no “game over” here.

© 2026 GitThreeLab · Game data: IGDB.com