aprender-contracts 0.68.1

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
10
11
12
13
14
15
16
17
pub mod artifact;
pub mod composition;
pub mod external_corpora;
pub mod kaizen;
mod kind;
mod parser;
mod types;
mod validator;

pub use artifact::{classify_artifact, validate_artifact, ArtifactKind};
pub use external_corpora::{
    is_external_corpora_schema, parse_external_corpora_str, validate_external_corpora,
    ExternalCorpora, ExternalCorpus,
};
pub use parser::{is_contract_yaml, parse_contract, parse_contract_str};
pub use types::*;
pub use validator::validate_contract;