aprender-contracts 0.33.0

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels
Documentation
1
2
3
4
5
6
7
8
9
pub mod composition;
mod kind;
mod parser;
mod types;
mod validator;

pub use parser::{parse_contract, parse_contract_str};
pub use types::*;
pub use validator::validate_contract;