Auditing a Proof

Planned post. This page is a stub.

Theorem statements, unfinished proofs, axioms, dependencies, and the trusted base.

Planned Coverage

Inspect what a checked theorem actually establishes and which assumptions it uses.

Examples, definitions, and exercises will be developed here as the course progresses. See the course table of contents for the suggested reading order.