I also recommend the software foundations in coq https://softwarefoundations.cis.upenn.edu/.