Search for a command to run...
Release Date
Genre
Platform
Critic Rating
Minimalistic puzzle game where you build formal logical proofs.