Premise at Dawn
nonri.day
A porcelain page wakes before the theorem. One proposition is held to the light, not yet true, not yet false, waiting for the day to reason through it.
Definitions in Morning Light
Terms acquire edges.
Definitions arrive as translucent slips, each one folding over another until vague daylight becomes ruled paper. Hover the lemma to align its supporting assumptions.
Inference at Noon
Branches test the light.
At noon the reasoning thread splits, follows three possible corridors, and rejoins where the valid inference has weight.
(P ∧ (P ⇒ Q)) ⊢ Q
Contradiction at Dusk
A red mark flares.
Every proof must face its shadow. Click the contradiction seal to invert the truth table and watch the impossible premise burn away.
Q.E.D. at Midnight
The day resolves into theorem.
Previous symbols gather into one moonlit diagram. The proof does not sell; it concludes.