I highly recommend “Software Foundations”: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ Not only will you learn how t

I highly recommend “Software Foundations”: https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/ Not only will you learn how to prove software correct, you will also get a deep understanding of what mathematics really is.