Inspect a proof

Read side by side

Written proofs can stand on their own. Lean coverage and software tests answer additional, separate questions.

1. Select the exact edition from a work page.
2. Read the written statement, hypotheses, and proof. Use the claim index where a detailed map is available.
3. Read the work's evidence record and any recorded restrictions.
4. For a mapped Lean claim, compare the full formal type with the written statement. Follow its exact source and pinned reproduction instructions.
5. For computation, identify the tested inputs, arithmetic, acceptance criteria, and source revision.

The completion guide explains the labels. The verification guide separates source identity, compiler execution, and mathematical review. This route does not perform a new proof audit.

Reading routes · Hand-worked examples · Browse works · Glossary