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://

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?tab=readme-ov-file 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/index.html https://lean-forward.github.io/logical-verification/2022/ind...