Repository navigation

Verify A317940 initial values - #119

Open

DomTheDeveloper wants to merge 7 commits into

mainfrom

verify/a317940-initial-values

Open

Verify A317940 initial values#119
DomTheDeveloper wants to merge 7 commits into
mainfrom
verify/a317940-initial-values

Commits on Jul 26, 2026
- Add targeted A317940 initial-value audit
  DomTheDeveloper
  committed
  ba1f1ec
- Upload targeted Lean compiler diagnostics
  DomTheDeveloper
  committed
  195b4d4
- Re-run A317940 audit after import fix
  DomTheDeveloper
  committed
  23480ff
- Build the exact A317940 Lake module
  DomTheDeveloper
  committed
  4a57d70
- Audit finite one-step A317940 proofs
  DomTheDeveloper
  committed
  efa89ed
- Audit exact A317940 divisor proof
  DomTheDeveloper
  committed
  b2268b7
- Audit final squashed A317940 commit
  DomTheDeveloper
  committed
  622872c