An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
Why do you think that https://github.com/model-checking/kani is a good alternative to awesome-rust-formalized-reasoning