aprender-contracts 0.29.0

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Coverage
58.99%
725 out of 1229 items documented0 out of 382 items with examples
Size
Source code size: 1.68 MB This is the summed size of all the files inside the crates.io package for this release.
Documentation size: 70.64 MB This is the summed size of all files generated by rustdoc for all configured targets
Ø build duration
this release: 1m 11s Average build duration of successful builds.
all releases: 1m 7s Average build duration of successful builds in releases after 2024-10-23.
Links
paiml/aprender
93 17 14
crates.io
Dependencies
Versions
Owners

aprender-contracts

Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Was: provable-contracts

Part of the Aprender monorepo — 70 workspace crates.

cargo install aprender    # CLI binary

[dependencies]
aprender-contracts = "0.29"