Minimalistic puzzle game where you build formal logical proofs.
igdb
0 users have this game
Add to my library
