Skip to content

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

Formalize normal-class rank and completed price bounds in Lean

d7db77c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
certificate (3.14)
succeeded Oct 16, 2026 in 5m 30s