Skip to content

Further coordinated frame cuts on #186: conditional κ = 6.62651985348746e-4 - #195

Closed
huxint wants to merge 5 commits into
CrocSwap:mainfrom
huxint:research/frontier-186-cuts
Closed

Further coordinated frame cuts on #186: conditional κ = 6.62651985348746e-4#195
huxint wants to merge 5 commits into
CrocSwap:mainfrom
huxint:research/frontier-186-cuts

Certify further lattice frame cuts on the complete PR186 witness

d3e6b83
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs