[steveklabnik]

... not to mention that seL4 was started in 2006, a full four years before Rust was even conceived of. The proof was finished a year before.