Repository navigation

Assess Bend 2 alongside the existing Lean verification programme - #31

Open

ahrazzle wants to merge 1 commit into

mainfrom

research/bend2-verification-pilots-20261103

Open

Assess Bend 2 alongside the existing Lean verification programme#31
ahrazzle wants to merge 1 commit into
mainfrom
research/bend2-verification-pilots-20261103

Commits on Nov 3, 2026
- Research Bend 2 proof boundaries and staged integration pilots
  ahrazzle
  committed
  ebef557