Lambda Calculus in Lean

4. Building🔗

The book target writes a static multi-page HTML site.

lake exe generate-book --output _out/book

The generated site lives in _out/book/html-multi.