Minimalistic puzzle game where you build formal logical proofs.
Puzzle, Strategy, Indie
Linux, PC (Microsoft Windows)
Single player
Linux - Aug 05, 2025
PC (Microsoft Windows) - Aug 05, 2025
