Skip to content

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

Discharge the selected BIT real moment premise in Lean

1bd441f
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 16, 2026 in 41s