Lean books

Stream: general

[Martin Dvořák]

Can we buy any printed Lean 4 books for the school library?

[Henrik Böving]

Not to my knowledge

[Number Eighteen]

I presume you could ask permission to print and bind copies of the main books?

[Kevin Buzzard]

I might be wrong but I think @Heather Macbeth 's book "The mechanics of proof" might soon be available as an actual book?