Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formali

Unsurprisingly, we can see a growing interest in the Rust ecosystem regarding formal verification. I try to keep https://github.com/newca12/awesome-rust-formalized-reasoning https://github.com/newca12/awesome-rust-formalized-reasoning up to date. I will add CreuSAT shortly. The goal is to have an overview of what is actually Rust powered. Long term goal is to identify best practices and provide usefull common libraries.