is anyone working on making it possible to use a proof assistant to show that unsafe Rust is, in fact, safe? that would be pretty cool.
-
Show this thread
Replying to @johnregehr
You may be interested in this https://homes.cs.washington.edu/~emina/doc/crust.ase15.pdf …
10:57 PM - 1 Jul 2019
0 replies
0 retweets
2 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.