Wiki
Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Verify
li_v1_proof_review: Preserves the independent review of thirteen exact proof subjects, including its source coverage, mathematical findings and computational limits.
The retained report records the independent assessment of the thirteen source-proof subjects. The parent evidence page distinguishes that review from the current executable check and its focused implementation review.
Linked from (1)
Graph