https://softwarefoundations.cis.upenn.edu/
With the added bonus that you learn how to prove software correct.
https://softwarefoundations.cis.upenn.edu/
With the added bonus that you learn how to prove software correct.