[dbaupp]

There is a formal model of (the "interesting" subset of) Rust being created, which will hopefully lead to correctness paper(s).

[dbaupp]

(Now that I'm off my phone I can provide the link: https://github.com/anasazi/rust-redex )