Released: Aug 5, 2025
CasualIndieStrategy
Minimalistic puzzle game where you build formal logical proofs.