A minimalist puzzle game of intuitionistic logic. Every room is a proposition: light it by proving it. A new daily puzzle, a classic mode with eight levels of difficulty, and a guided how-to.
Two historical figures and a chain of Wikipedia links between them.
Two cards a turn: lay down whoever stands fewer links from the target.
Ten moves.
A perfect run finds the shortest chain there is.
