Skip to content

Restricted h22 padded triple covers: conditional κ = 4.20151003347e-4 - #142

Closed
eumemic wants to merge 6 commits into
CrocSwap:mainfrom
eumemic:codex/restricted-padded-triples
Closed

Restricted h22 padded triple covers: conditional κ = 4.20151003347e-4#142
eumemic wants to merge 6 commits into
CrocSwap:mainfrom
eumemic:codex/restricted-padded-triples

Raise conditional kappa with the restricted h22 padded cover

2fc6cf5
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (gaussian)
succeeded Oct 9, 2026 in 44s