RT @bksgbr: @rustlang's ownership model (and consequently it's safety guarantees) has been formally proven with #Coq @mpi_sws and @tudelft https://dl.acm.org/citation.cfm?doid=3177123.3158154 …
12:38 PM - 3 Feb 2018
from Saint-Mandé, France
0 replies
1 retweet
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.