Boogie.rs
A Rust API for constructing and verifying Boogie programs.