3 ms·
On that note, has the Rust compiler/runtime ever been formally verified?
by stingraycharles 5y ago
On that note, has the Rust compiler/runtime ever been formally verified?
- steveklabnik 5y agoA subset of the type system and standard library has been, but not the whole thing. It’s foundational stuff though so that was really great.