CLRS-Lean
Chapters 1–35 · CLRS Fourth Edition

Imports

import CLRSLean.FourthEdition.Chapter_01
import CLRSLean.FourthEdition.Chapter_02
import CLRSLean.FourthEdition.Chapter_03
import CLRSLean.FourthEdition.Chapter_04
import CLRSLean.FourthEdition.Chapter_05
import CLRSLean.FourthEdition.Chapter_06
import CLRSLean.FourthEdition.Chapter_07
import CLRSLean.FourthEdition.Chapter_08
import CLRSLean.FourthEdition.Chapter_09
import CLRSLean.FourthEdition.Chapter_10
import CLRSLean.FourthEdition.Chapter_11
import CLRSLean.FourthEdition.Chapter_12
import CLRSLean.FourthEdition.Chapter_13
import CLRSLean.FourthEdition.Chapter_14
import CLRSLean.FourthEdition.Chapter_15
import CLRSLean.FourthEdition.Chapter_16
import CLRSLean.FourthEdition.Chapter_17
import CLRSLean.FourthEdition.Chapter_18
import CLRSLean.FourthEdition.Chapter_19
import CLRSLean.FourthEdition.Chapter_20
import CLRSLean.FourthEdition.Chapter_21
import CLRSLean.FourthEdition.Chapter_22
import CLRSLean.FourthEdition.Chapter_23
import CLRSLean.FourthEdition.Chapter_24
import CLRSLean.FourthEdition.Chapter_25
import CLRSLean.FourthEdition.Chapter_26
import CLRSLean.FourthEdition.Chapter_27
import CLRSLean.FourthEdition.Chapter_28
import CLRSLean.FourthEdition.Chapter_29
import CLRSLean.FourthEdition.Chapter_30
import CLRSLean.FourthEdition.Chapter_31
import CLRSLean.FourthEdition.Chapter_32
import CLRSLean.FourthEdition.Chapter_33
import CLRSLean.FourthEdition.Chapter_34
import CLRSLean.FourthEdition.Chapter_35

CLRS-Lean: Machine-checked algorithms, chapter by chapter. An open book unfolds into algorithm trees, sorting bars, graphs and a proof tree.

Chapters 1–35 · CLRS Fourth Edition

Choose a chapter to read its formalization scope, section proofs, and public theorem interfaces. Chapter numbers follow the fourth edition throughout this index.

Start with Getting Started for sorting correctness and cost. The Progress Dashboard gives the chapter matrix; Proof Status explains the completion labels.

Foundations · Chapters 1–5

Sorting and Order Statistics · Chapters 6–9

Data Structures · Chapters 10–13

Design and Analysis Techniques · Chapters 14–16

Advanced Data Structures · Chapters 17–19

Graph Algorithms · Chapters 20–25

Selected Topics · Chapters 26–35

Online Material and Extensions

Online Material collects topics retained outside the fourth-edition main text. Research Extensions contains work beyond the book. Neither is counted twice in the chapter ledger.

Source Names and Imports

Use CLRSLean.FourthEdition.Chapter_NN for new imports. Some section proofs reuse source paths and declaration namespaces numbered for the third edition; the chapter guide links to the correct source. Existing unqualified CLRSLean.Chapter_NN imports retain their documented meaning during the compatibility period. The migration guide records the mapping and compatibility policy.