provably.fast

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.