Repository navigation

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

Commits on Oct 9, 2026
- Add files via upload
  Dugongue
  authored
  ccd28f5
- Add files via upload
  Dugongue
  authored
  3bf9942
- Delete balanced-nullity-banks-163 directory
  Dugongue
  authored
  5fdc909
- Add files via upload
  Dugongue
  authored
  166a34d
- Certify further lattice frame cuts on the complete PR186 witness
  huxint
  committed
  d3e6b83