aprender-contracts 0.34.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
10
//! mdBook page generation for contracts.
//!
//! Generates per-contract markdown pages with `KaTeX` equations and
//! Mermaid dependency graphs, plus SUMMARY.md integration.

mod page;
mod summary;

pub use page::generate_contract_page;
pub use summary::update_summary;