I started learning math this year. I used Daniel Velleman's How to prove it to learn the basics of how to read and write proofs.
While doing so, I stumbled upon Velleman's companion book that uses the Lean language.
I started learning math this year. I used Daniel Velleman's How to prove it to learn the basics of how to read and write proofs.
While doing so, I stumbled upon Velleman's companion book that uses the Lean language.