Repository navigation

fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims tests - #221

Merged

hyperpolymath merged 1 commit into

mainfrom

fix/abi-proof-improvements-and-boot-smoke

Jun 14, 2026

Merged

fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims tests#221
hyperpolymath merged 1 commit into
mainfrom
fix/abi-proof-improvements-and-boot-smoke

Commits on Jun 14, 2026
- fix(proofs): add allTake/fromLteTrue lemmas + extend path_claims tests
  
  hyperpolymath
  and
  claude
  committed
  baf5be9