Deductum

Aug 5, 2025 2 platforms

Indie Puzzle video game Strategy video game

Minimalistic puzzle game where you build formal logical proofs.

Track the collection you actually own — yourself, or with your AI assistant.

Free, no card, and your collection stays yours to export.

Free, no card, yours to export.

Create free account

Released

Also known as

—

Versions

—

Standalone expansions

—

Languages

1 language

Suggest an edit