Deductum

2025

About

Minimalistic puzzle game where you build formal logical proofs.

Available on

PC (Microsoft Windows)Linux