A Formal Verification of Rust's Binary Search Implementation http://buff.ly/2atuXYV #rustlang
4:30 AM - 27 Jul 2016
0 replies
3 retweets
9 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.