4 ms·

If you are interested in a formal model of Rust, https://github.com/nikomatsakis/rust-formal https://github.com/nikomatsakis/rust-formal is probably a better ch

• dbaupp 13y ago
  (Note that this is also very old.)
  • felixr 13y ago
    It seems as if formal models of Rust have a tendency to rust.
    • dbaupp 13y ago
      Haha, anything not in the source tree of Rust (or Servo) tends to rust... things change quickly.