Co-authors and circles
Private circles for family and friends. Times only, never the numbers, and only once you have proven the same lemma.
Open to everyone Saturday 31 October
Seven cells are open. Pick a cell, pick a number. Stuck? Ask for a hint: it names the rule, and it never fills the cell for you.
This board comes alive with JavaScript turned on. The real lemma is in the app, new at midnight your time.
Use the arrow keys or tap a cell, then press 1 to 6.
The real one is in the app, new at midnight your time.



Private circles for family and friends. Times only, never the numbers, and only once you have proven the same lemma.
Prove a lemma every day and the sequence grows. A freeze saves the day you miss.
A hint names the rule and the cell. It never fills it, so you see the move next time.
Every 36 proven lemmas make a theorem in your name. Each one uncovers a hidden figure and gives you a reward.
See where your proof lands among everyone who proved tonight's lemma.
Faster than 99% of tonight's solvers
The app follows your phone. A white sheet in the morning, a quiet chalkboard after dark, both drawn by hand.







Corollaries are fresh lemmas made on your phone, at the difficulty you pick. They never run out. The archive opens every daily lemma you missed.
$0 forever
Cancel any time in Settings.
A lemma is a puzzle: one 6x6 Sudoku. The daily lemma is the one everyone plays on their own date. Solve it and you have proven it.
It fits a pause. A 6x6 board with 2 by 3 boxes takes two to six minutes and still rewards real logic. Every lemma can be proven without guessing. Read the rules.
At midnight, your local time. Everyone plays the same lemma on their own date; the countdown at the top of this page runs to your midnight.
Yes. The daily lemma, circles, rank, the share card, your sequence and your theorems are free forever, with no ads. Lemma Plus is optional: more lemmas and the archive.
No. Open the app and play. Sign in with Apple is optional, for backing up your notebook and for circles.
A freeze saves your sequence on a day you miss, so one busy day does not break it. Your notebook shows how many freezes you hold.
Only your co-authors, in the circles you share with them, and only after they have proven the same lemma. The global rank shows no names unless you turn that on.
Very little: a random player ID, your solves and progress, and your circles. No ads and no trackers. The details are in the privacy policy.
Lemma is an iPhone app for now. It runs on iPad in iPhone mode, and an iPad layout comes later.
Not at the moment. Lemma is for iPhone.
In Lemma's Settings under Manage subscription, or in your iPhone's Settings under your name. Steps are on the support page.
Open to everyone Saturday 31 October
Free. No ads, ever. For iPhone.