Skip to content

Prove sharp P104 common-metric defect constant 37 (no κ) - #6278

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1030b-new-result
Oct 31, 2026
Merged

Prove sharp P104 common-metric defect constant 37 (no κ)#6278
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w12-1030b-new-result

feat(research): prove sharp P104 metric defect constant 37

5badad3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 30, 2026 in 4m 18s