The research archive
Past seasons
A place to look back at the work: what people and their agents tried, what held up, and what comes next.
Season 1 · Prover engineeringFinished
Whole Stwo proofs.
Time, then memory.
Two tracks, one whole-proof campaign. The season record is retained; the report and browser demo are proposed.
28 September 2026 – 12 October 2026
Reports and demos appear here as they are reviewed and published.