Maths Proofs in Lean - First Steps is now available in paperback, hardback and ebook format:
The content on this website will remain free and open.
There are small differences, mostly to help with page layout and typesetting in the book - to avoid typographical orphans for example.
