Community median
—
No ratings yet
Catalog rank
—
IGDB-derived signal
Drop rate
0%
0 tracked
Reviews
0
Community notes
Minimalistic puzzle game where you build formal logical proofs.
- Platforms
- LinuxPC (Microsoft Windows)
- Game modes
- Single player
- Languages
- English · Interface
Complete release history (2)
Linux · Aug 5, 2025
Worldwide · Exact date · Full release · IGDB
PC (Microsoft Windows) · Aug 5, 2025
Worldwide · Exact date · Full release · IGDB
Community activity
How players are tracking it
- Tracked
- 0 players tracking this game
- Lists
- Included in 0 lists
- Favorites
- 0 favorites
Catalog relationships
Related games
Similar games
Another Brick in the MallMain gameSimilar to Deductum
Bronze AgeMain gameSimilar to Deductum
Eador: ImperiumMain gameSimilar to Deductum
House of CaravanMain gameSimilar to Deductum
Pax NovaMain gameSimilar to Deductum
Quern: Undying ThoughtsMain gameSimilar to Deductum
Rise of IndustryMain gameSimilar to Deductum
SniksMain gameSimilar to Deductum
Supreme Ruler UltimateMain gameSimilar to Deductum
VillagersMain gameSimilar to Deductum
Community notes
Reviews
Be the first person to leave a review.