Deductum

2025 · Puzzle · Strategy · Indie · Linux · PC (Microsoft Windows)

Minimalistic puzzle game where you build formal logical proofs.