Skip to content

Retimed nine-stage complex + kernel bit: conditional kappa 0.000998390813251625 - #385

Closed
rohanarun wants to merge 3 commits into
CrocSwap:mainfrom
rohanarun:codex/e8-retimed-nine-composition
Closed

Retimed nine-stage complex + kernel bit: conditional kappa 0.000998390813251625#385
rohanarun wants to merge 3 commits into
CrocSwap:mainfrom
rohanarun:codex/e8-retimed-nine-composition

Allow exact large integers when reading the independent finite certif…

ad7647e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
formal (matrix)
succeeded Oct 11, 2026 in 43s