ravencheck 0.1.2

Decidable verification of Rust code using relational abstraction.
Documentation 
1
2
3
4
5

#[cfg(test)]
mod macro_examples;

pub use ravencheck_macros::check_module;
pub use ravenlang::CheckedSig;