Maintaining Proofs as Code Changes

Planned post. This page is a stub.

Useful abstractions, stable contracts, and agent-assisted repair.

Planned Coverage

Evaluate which proofs should survive a representation change and review repaired claims.

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