There's now a free demo of Deductum! It covers the introductory conjunction and implication levels.
Read on SteamAt a glance
Deductum is a puzzle video game, released on 5 August 2025 on Linux, PC.
About
Minimalistic puzzle game where you build formal logical proofs.
Statistics
Statistics
Screenshots
Screenshots
Player reviews (0)
Player reviews
Log in to rate this game.Log in
No reviews yet. Be the first!
Discussion (0)
Discussion
Log in to join the discussion.














