Repository navigation

Discharge the selected BIT fractional-moment premise in Lean - #2295

Merged

Mister-Meeseeks merged 1 commit into

CrocSwap:mainfrom

bitplane:research/pass39-random

Oct 16, 2026

Merged

Discharge the selected BIT fractional-moment premise in Lean#2295
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
bitplane:research/pass39-random

Commits on Oct 15, 2026
- Discharge the selected BIT real moment premise in Lean
  bitplane
  committed
  1bd441f