Deductum - 4GamesList

Minimalistic puzzle game where you build formal logical proofs.