“RustBelt: Securing the Foundations of the Rust Programming Language,” w/ Coq code for machine-checked proofs: https://people.mpi-sws.org/~dreyer/papers/rustbelt/paper.pdf …
2:49 PM - 8 Jul 2017
0 replies
33 retweets
58 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.