I have plans slated for doing proofs about Rust programs in 2017, if not sooner (I&#x27;m interning at Data61 on the seL4 verification team starting in two weeks, and if I don&#x27;t get a chance to work on Rust verification then, I&#x27;ll start after I&#x27;m done)