Skip to content

Conditional κ = 0.001588602246663212: static44 with selective bit frames - #544

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
chafreaky:research/static44-selective
Oct 12, 2026
Merged

Conditional κ = 0.001588602246663212: static44 with selective bit frames#544
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
chafreaky:research/static44-selective

Add cold-verified static44 and selective bit finite witness

4858bb3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 12, 2026 in 28s