Practice queue.
Reconstruction is the core operation. A proof you can do once is not a proof you understand; a proof you can rebuild from memory three weeks later is. Each saved attempt schedules a replay at an increasing interval — 1, 3, 7, 21, 60 days — and is scored against your previous attempt, not against the textbook.
Due now.
— 0 —Upcoming.
— 0 —Not yet started.
—I.1 is the only proposition currently interactive in the Lab. Reconstructing I.2–I.5 will be enabled as their interactive workshops come online; the queue already accepts text attempts for any of them.
History.
—
Stored locally in your browser under euclid.practice.v1. No
account, no server. The score is a Jaccard overlap of vocabulary
between attempts — a coarse measure, but it surfaces what you held
onto and what slipped. The proof is reconstructed by you, judged by
you; the system only schedules and remembers.