Hitchhiker's Guide to Logical Verification (2023 Edition)
Why do you think that https://github.com/leanprover-community/lean4-mode is a good alternative to logical_verification_2023
Hitchhiker's Guide to Logical Verification (2023 Edition)
Why do you think that https://github.com/leanprover-community/lean4-mode is a good alternative to logical_verification_2023