Post #707
2.97K
Формальная верификация системы типов Rust: https://twitter.com/HerrDreyer/status/1302196178302439424
Twitter Derek Dreyer My student Ralf Jung is now a PhD! Here's the final version of his thesis, which encompasses fantastic work on Iris, RustBelt, and Stacked Borrows, and with a greatly expanded presentation of the RustBelt verification and some aspects of Iris. I love it.…