Planned reading map
Conformal Prediction Book
Reserved for a dedicated conformal prediction curriculum. Source selection and theorem mapping await review.
Textbook selection, version and source mapping are pending. No formalized conformal prediction content is claimed.
Existing shared reading
These links reuse established pages with their original sources and exact Lean boundaries. They do not certify a chapter of the new book.
No chapter references registered yet.
Planned source mapping
Next: freeze source versions, chapter contracts, assumptions and theorem locators; retrieve existing declarations and prove only the missing interfaces. Chapter numbers, page coverage and completion totals will appear after that audit.