scialex/libhoare

Design by contract style assertions for Rust

Rust