2 ms·
Most of the interest in formalizing Rust is specifically about formalizing the model that unsafe code is supposed to uphold.
by steveklabnik 2y ago
Most of the interest in formalizing Rust is specifically about formalizing the model that unsafe code is supposed to uphold.