Skip to content

The source-assisted complex word of #233 as one explicit numbered program (gcert/1): reference-checked, 7.547361·10⁻⁴ in the Lean-checked five-stage layout (no new κ) - #256

Closed
chafreaky wants to merge 1 commit into
CrocSwap:mainfrom
chafreaky:gcert-program-233
Closed

The source-assisted complex word of #233 as one explicit numbered program (gcert/1): reference-checked, 7.547361·10⁻⁴ in the Lean-checked five-stage layout (no new κ)#256
chafreaky wants to merge 1 commit into
CrocSwap:mainfrom
chafreaky:gcert-program-233

Commits

  1. Commits on Oct 10, 2026