Description

Minimalistic puzzle game where you build formal logical proofs.