1. CLRS-Lean
  2. Chapter 1. The Role of Algorithms
Imports
import CLRSLean.FourthEdition.Chapter_01

Chapter 1 - Algorithms

This legacy guide forwards to the native fourth-edition Chapter 1 guide CLRSLean.FourthEdition.Chapter_01. Chapter 1 is prose-only: it has no section directory and no theorem-bearing source, so this forwarding shim carries no declarations of its own.

namespace CLRSnamespace Chapter01end Chapter01end CLRS