Related: Verus (verified Rust): https://github.com/verus-lang/verus It's aimed m...

		lsuresh 4 months ago \| parent \| context \| favorite \| on: Coq-of-rust: Formal verification tool for Rust Related: Verus (verified Rust): https://github.com/verus-lang/verus It's aimed more at full systems verification (been used to build verified filesystems, kubernetes controllers etc...).