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