Verifiable Rust

Source code for the verified crate