Lean Book Lean Book is the mdbook template configured for the Lean Project. For more information, please see demo.