Minimalistic puzzle game where you build formal logical proofs.
See Deductum on the map of Steam · Steam store page