Repository navigation

Add PentagonalNumberTheoremAnalytic: Euler's pentagonal number theorem by two independent proofs - #446

Merged

Vilin97 merged 36 commits into

LeanPool:mainfrom

JonCYeh:conrad/pentagonal-number-theorem

Sep 21, 2026

Merged

Add PentagonalNumberTheoremAnalytic: Euler's pentagonal number theorem by two independent proofs#446
Vilin97 merged 36 commits into
LeanPool:mainfrom
JonCYeh:conrad/pentagonal-number-theorem

Commits on Sep 17, 2026
- Add PentagonalNumberTheoremAnalytic
  
  JonCYeh
  and
  claude
  committed
  38582aa
- Address review: correct two overclaims, narrow imports, fix stale docs
  
  JonCYeh
  and
  claude
  committed
  88d9a56
- Address remaining review findings: dead helper, namespace containment
  
  JonCYeh
  and
  claude
  committed
  393a157
- Satisfy the pool-wide naming linter
  
  JonCYeh
  and
  claude
  committed
  b7ff3fb
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  165d8c7
- Address maintainer review: module names, JTP assembly, doc claim
  
  JonCYeh
  and
  claude
  committed
  c336c0f
- Merge branch 'conrad/pentagonal-number-theorem' of https://github.com/JonCYeh/lean-pool into conrad/pentagonal-number-theorem
  Jonathan Conrad
  committed
  576ab60
- Reflow the formal Jacobi scope sentence in the project card
  
  Jonathan Conrad
  and
  claude
  committed
  932556e
- Merge remote-tracking branch 'origin/main' into conrad/pentagonal-number-theorem
  Jonathan Conrad
  committed
  2545129
- Fix entry metadata: qualify Franklin names, add generated project card
  
  Jonathan Conrad
  and
  claude
  committed
  8195b46
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  c3eb0af
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  9732c45
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  c630747
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  07807e3
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  ac4e3c5
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  bf84460
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  7b1cba1
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  1c30173
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  f8837dc
Commits on Sep 18, 2026
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  0412d84
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  9ebe12b
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  a7baa0f
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  4f646c0
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  b66e62a
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  59dcaab
- Repair the build against Mathlib v4.34.0
  
  Jonathan Conrad
  and
  claude
  committed
  14599b8
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  b367954
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  9dbde1d
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  0ab4a5e
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  befcbe5
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  19e9796
Commits on Sep 19, 2026
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  8b56d70
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  e5fbd7f
Commits on Sep 20, 2026
- Merge branch 'main' into conrad/pentagonal-number-theorem
  JonCYeh
  authored
  97a2cb9
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  644e0ef
Commits on Sep 21, 2026
- Merge remote-tracking branch 'origin/main' into pr-446
  github-actions[bot]
  committed
  5b846a0

Commits

Commits on Sep 17, 2026

Commits on Sep 18, 2026

Commits on Sep 19, 2026

Commits on Sep 20, 2026

Commits on Sep 21, 2026