This is the code repository for the Lean Python code samples and other programs and guidance that are not in the book.