Deductum

Released: Aug 5, 2025

CasualIndieStrategy

Minimalistic puzzle game where you build formal logical proofs.

Available at

Similar games