Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Evidence for the conditional smooth-successor route
verify/: Frozen subjects, conditional whole-conclusion examination and passing grade, preserving the balanced-range qualification, P and classical premises.
The records below retain the examined mathematical subjects, independent reasoning and exact standing. Written derivations are the evidence; no computational success summary substitutes for them.
Graph