3 ms·
There is a formal model of (the "interesting" subset of) Rust being created, which will hopefully lead to correctness paper(s).
by dbaupp 13y ago
There is a formal model of (the "interesting" subset of) Rust being created, which will hopefully lead to correctness paper(s).
- dbaupp 13y ago(Now that I'm off my phone I can provide the link: https://github.com/anasazi/rust-redex https://github.com/anasazi/rust-redex )