3 ms·Awesome! Will have to delve into this later... a formal proof is going to be super important for Rust.by bjz_ 13y agoAwesome! Will have to delve into this later... a formal proof is going to be super important for Rust.