heh, I like their syllabus format (linked from the first page of the PDF): https://lean-forward.github.io/logical-verification/2020/ https://lean-forward.github

heh, I like their syllabus format (linked from the first page of the PDF): https://lean-forward.github.io/logical-verification/2020/ https://lean-forward.github.io/logical-verification/2020/ also, to save one the trouble of url surgery here is the actual GH repo which contains what is labeled a "tablet" version of the PDF along with solutions exercises: https://github.com/blanchette/logical_verification_2020 https://github.com/blanchette/logical_verification_2020 (unlicensed)