Agreed! I found one recently that does some interesting stuff, a formal verifica...

		dgb23 on June 28, 2021 \| parent \| context \| favorite \| on: Why Computing Students Should Contribute to Open S... Agreed! I found one recently that does some interesting stuff, a formal verification library for Rust: https://www.pm.inf.ethz.ch/research/prusti.html