Loading game
Avg. rating
—
Reviews
0
Minimalistic puzzle game where you build formal logical proofs.
Linux · Aug 5, 2025
Worldwide · Exact date · Full release · IGDB
PC (Microsoft Windows) · Aug 5, 2025
Worldwide · Exact date · Full release · IGDB
Catalog sources
8 achievements available.

Complete all levels
LockedSteam

Complete 40% of levels
LockedSteam

Complete 65% of levels
LockedSteam

Complete 85% of levels
LockedSteam

Complete conjunction tutorial
LockedSteam

Complete disjunction tutorial
LockedSteam

Complete implication tutorial
LockedSteam

Complete negation tutorial
LockedSteam
Community notes