Minimalistic puzzle game where you build formal logical proofs.
at://did:web:gamesgamesgamesgames.games/games.gamesgamesgamesgames.game/3mgmfygmkin2l