Briefing
Minimalistic puzzle game where you build formal logical proofs.
Summary
Minimalistic puzzle game where you build formal logical proofs.
Cross-Platform
Deductum
Indie, Puzzle, Strategy
N/A
August 5, 2025
Screenshots
Similar Games
Power Vacuum
Scatch 2: The Painter Cat
Help Bipboop
Rubicon: Cubindom
Robinson Alchemy
One S'More
Train Valley World
Virus Infinite
Game Of Puzzles: Dragons
ArchiHexago
Details
- IGDB ID
- 355531
- Status
- Released
- First Release
- August 5, 2025
- Release Dates
- Aug 05, 2025 (Linux)
Aug 05, 2025 (PC (Microsoft Windows)) - Hypes
- 1
- Cross-Platform
- Additional Websites
- https://store.steampowered.com/app/3862840
Taxonomies
Genres
Indie, Puzzle, Strategy
Platforms
Linux, PC (Microsoft Windows)
Developers
N/A
Publishers
N/A
Status
Main Game
