spriteloom

Deductum on the map of Steam

Minimalistic puzzle game where you build formal logical proofs.

Deductum