aprender-contracts v0.70.3 — Papers to Math to Contracts in Code — YAML contract parsing, validation, scaffold generation, and Kani harness codegen for provable Rust kernels

Sign in to join the discussion — your thebay.events account works here.