Why do you think that https://github.com/ImperialCollegeLondon/formalising-mathematics-2022 is a good alternative to logical_verification_2021
Why do you think that https://github.com/ImperialCollegeLondon/formalising-mathematics-2022 is a good alternative to logical_verification_2021