Deductum (2025) Indie Strategy Puzzle About the Game Reviews Gallery Similar Games Troubleshooting PC (Microsoft Windows) Linux Release Date: 2025, August 5 Description: Minimalistic puzzle game where you build formal logical proofs.