Repository navigation

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