5

Formal proofs

Proof Pyramids

Climb the great pyramids stone by stone, lemma by lemma.

Puzzle 1

Proof Pyramids #1

LOCKED IN MOCK

Puzzle 2

Proof Pyramids #2

LOCKED IN MOCK

Puzzle 3

Proof Pyramids #3

LOCKED IN MOCK

Puzzle 4

Proof Pyramids #4

LOCKED IN MOCK

Puzzle 5

Proof Pyramids #5

LOCKED IN MOCK

Puzzle 6

Proof Pyramids #6

LOCKED IN MOCK

Puzzle 7

Proof Pyramids #7

LOCKED IN MOCK

Phase 1 preview · puzzle interactions arrive in Phase 3