I have been eyeing “The Hitchhiker's Guide to Logical Verification” but haven’t yet found the time to work through it.
The 2025 edition material is at https://github.com/lean-forward/logical_verification_2025?ta...
An older version (2022-2023) with video lectures is at https://lean-forward.github.io/logical-verification/2022/ind...