Repository navigation

Formalize normal-class rank and complete count/price bounds in Lean - #2404

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

bitplane:research/pass46-random

Oct 16, 2026

Merged

Formalize normal-class rank and complete count/price bounds in Lean#2404
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bitplane:research/pass46-random

Commits on Oct 15, 2026
- Formalize normal-class rank and completed price bounds in Lean
  bitplane
  committed
  d7db77c