Simple Verification of Rust Programs via Functional Purification (2016) [pdf]github.com/Kha2 pointstodsacerdoti3 years ago