Every change and new result, by date.

The canonical, dated record of the TFPT development: new verification modules (vN), status changes, editorial passes and infrastructure. Browse one day at a time, step between days, or filter across every entry. This page is generated directly from the repository’s changelog.tex, so it never drifts from the source. Module numbers refer to verification/vN_*.py; claim IDs refer to rows of the status ledger.

[E]

exact / proven

[C]

conditional

[O]

open / axiom

[X]

kill test