4 ms·
Rust isn't aiming for formal verification, is it?
by MaxBarraclough 7y ago
Rust isn't aiming for formal verification, is it?
- steveklabnik 7y agoIt’s something we’d like and are vaguely pursuing but not at the expense of other things.
- MaxBarraclough 7y agoNeat, thanks.
- steveklabnik 7y agoNo problem. “Rust Belt” and “Miri” are the terms to search for if you want to learn more.