For those who are self-studying, I recommend Software Foundations[0] which uses the Coq proof assistant, since doing the exercises is far more engaging when Coq

For those who are self-studying, I recommend Software Foundations[0] which uses the Coq proof assistant, since doing the exercises is far more engaging when Coq lets you finish the proof and you know for sure that you have understood the concepts involved. [0] https://softwarefoundations.cis.upenn.edu/ https://softwarefoundations.cis.upenn.edu/