Skip to content

Prove and export production carry and 32-bit adder families in Clean - #596

Closed
kevaundray wants to merge 2 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/clean-circuits-adder-family-20261010
Closed

Prove and export production carry and 32-bit adder families in Clean#596
kevaundray wants to merge 2 commits into
leanEthereum:riscv-explorationfrom
kevaundray:kw/clean-circuits-adder-family-20261010

Commits

  1. Commits on Oct 10, 2026