LaPToP Blueprint

 LaPToP Blueprint🔗

Compiled2026-09-15T20:49:15ZProjectfe90018blueprint(TheoryDesign): nodes for the simple stack, queue, and tree theoriesLeanleanprover/lean4:v4.33.1VersoBlueprintv4.33.0@9c5538fa3a83Mathlibv4.33.1@0df444a360ea

This Blueprint tracks the Lean formalization of Eric Hehner's A Practical Theory of Programming (LaPToP). Chapters follow the book's major themes; a separate Collatz-style chapter is intentionally unfinished so the generated graph and summary show an in-progress goal.

Contents

  1. 1. Prelude
  2. 2. Basic Theories
  3. 3. Function Theory
  4. 4. Data Structures
  5. 5. Program Theory
  6. 6. Programming Language
  7. 7. Recursion and Concurrency
  8. 8. Theory Design and Implementation
  9. 9. Unfinished Demo (Collatz)
  10. Dependency Graph
  11. Blueprint Summary