Repository navigation

math0 results: Lean-verified OEIS conjectures and formal-conjectures statements - #1

Open

abu-aska wants to merge 76 commits into

mainfrom

claude/math-capabilities-showcase-961iya

Open

math0 results: Lean-verified OEIS conjectures and formal-conjectures statements#1
abu-aska wants to merge 76 commits into
mainfrom
claude/math-capabilities-showcase-961iya

Commits on Oct 17, 2026
Commits on Oct 18, 2026
Commits on Oct 19, 2026
- Manuscripts for eight frontier results
  claude
  committed
  151c9f4
- Frontier: A357216, A386538, A326407 (new); A355076, A397315
  claude
  committed
  9ea1e38
- Manuscripts for A393794, A300789, A344710, A229159
  claude
  committed
  ee5368f
- A393794: credit the Almirantis-Li 2-cycle in the catalogue note
  claude
  committed
  7c0e5a7
- Manuscripts for six more frontier results; second-pass fixes
  claude
  committed
  cd98231
- Manuscripts for A357216, A386538, A326407, A355076, A397315
  claude
  committed
  f8beec1
- Frontier: A062887, A106505, A116184 (new); A392943
  claude
  committed
  d151955
- Frontier: A363609, A097154, A332010 (new)
  claude
  committed
  49ea2dc
- Manuscripts for six misformalization reports; tidy catalogue notes
  claude
  committed
  0ecbe1b
- Frontier: A333650, A355339, A086004 (new); A075855, A308222, A308359
  claude
  committed
  1c106f2
Commits on Oct 20, 2026
- Frontier: A369366 (new): least inequivalent cells of a (6k+5)-iamond
  claude
  committed
  965ff1e
- Manuscripts for eight more frontier results
  claude
  committed
  6d045ce
- Frontier: eight more OEIS results (five new)
  claude
  committed
  2ceb0fd
- Frontier: A090905 (new); A071685
  claude
  committed
  64c54c6
- Frontier: A354571 (new): Selle's limit a(n)/n -> pi
  claude
  committed
  4874d0e
- Manuscript for A355339 (knight-move triangle parity)
  claude
  committed
  f8dc068
- Manuscripts for A333650, A086004, A308359, A075855, A308222
  claude
  committed
  2123f62
- Frontier: A351743, A073642 (new); A141412
  claude
  committed
  8f10a17
Commits on Oct 21, 2026
Commits on Oct 24, 2026
Commits on Oct 25, 2026
- Frontier: A308121, A129455 (new)
  claude
  committed
  b213833
- Manuscripts for A119936 and A308107
  claude
  committed
  661a7b7
- Manuscripts for A278212, A127767, A334595, A265210, A350900
  claude
  committed
  5932a50
- Frontier: A281000, A249434, A127752 (new); A328202, A388724, A373345 (first formalizations)
  claude
  committed
  ed4af4a
- Frontier: A270668 (Mathar's column-3 g.f. for centred-monomer domino tilings)
  claude
  committed
  2186918
- Manuscripts for A129455, A308121, A341761
  claude
  committed
  5deb679
- Manuscripts for A281000, A249434, A127752
  claude
  committed
  65266da
Commits on Oct 26, 2026
Commits on Oct 29, 2026