Thanks for contributing an erratum for Lean from the Trenches.

If your erratum concerns code in the book that doesn't work for you, you might want to check that you're running the same version of software used in the book.

or

If you're reading a printed copy of the book, enter the printed page number containing the erratum in the "Paper Book" field. If you're reading a PDF, we're looking for the page number that appears on the page. For newer PDFs, this is the same as the absolute page number, but for older ones, you might find the numbers differ. For both PDF and paper, use Roman numbers if the page number is shown using Roman numbers.

Some context is handy.

or Cancel