All pull requests

Pull requests

• Check the finite certificates and the finished sequence tables

  #533·chessing234 opened Nov 8, 2026Contributor·

  ·
  3

• Link Erdős problem 272 to OEIS A401861

  #532·manman4 opened Nov 8, 2026Contributor·

  ·

• Leave status blank when a problem has no informal state

  #531·chessing234 opened Nov 8, 2026Contributor·

  ·

• Link Erdős problem 819 to OEIS A400702

  #530·manman4 opened Nov 7, 2026Contributor·

  ·

• Link Erdős problem 796 to OEIS A401834

  #529·manman4 opened Nov 7, 2026Contributor·

  ·

• Link Erdős problem 1014 to OEIS A059442

  #528·manman4 opened Nov 7, 2026Contributor·

  ·
  1

• Link Erdős problem 554 to OEIS A003323

  #527·manman4 opened Nov 6, 2026Contributor·

  ·
  1

• Link Erdős problem 489 to OEIS A005117 and A076259

  #526·manman4 opened Nov 6, 2026Contributor·

  ·
  1

• Link Erdős problem 480 to OEIS A381579

  #525·manman4 opened Nov 6, 2026Contributor·

  ·
  1

• Link Erdős problem 453 to OEIS A028388

  #524·manman4 opened Nov 6, 2026Contributor·

  ·
  1

• Link Erdős problem 482 to OEIS A001521

  #523·manman4 opened Nov 6, 2026Contributor·

  ·
  1

• Link Erdős problem 1206 to OEIS A401479

  #522·manman4 opened Nov 6, 2026Contributor·

  ·
  1

• Link A401757 to problem 675

  #521·manman4 opened Nov 5, 2026Contributor·

  ·
  1

• Link A398776 to problem 427

  #520·manman4 opened Nov 4, 2026Contributor·

  ·
  1

• Link A398758 to problem 456

  #519·manman4 opened Nov 3, 2026Contributor·

  ·

• Link A401118 to problem 536

  #518·manman4 opened Oct 31, 2026Contributor·

  ·

• Link problem 771 to OEIS A401619

  #517·manman4 opened Oct 31, 2026Contributor·

  ·

• Link problem 452 to OEIS A400378

  #516·manman4 opened Oct 30, 2026Contributor·

  ·
  1

• Link A401545 to Erdős problem 414

  #515·manman4 opened Oct 29, 2026Contributor·

  ·

• Fix OEIS link for Erdős problem 121

  #514·manman4 opened Oct 29, 2026Contributor·

  ·

• Link A399050 to problem 677

  #513·manman4 opened Oct 28, 2026Contributor·

  ·

• Link OEIS A400464 to problem 425

  #510·manman4 opened Oct 27, 2026Contributor·

  ·

• Mark 137, 850 verifiable and 149, 151, 677, 701, 1160 falsifiable

  #508·mnn31 opened Oct 26, 2026Contributor·

  ·

• 3, 184 -> open (Lean)

  #507·mnn31 opened Oct 26, 2026Contributor·

  ·

• 14, 81, 96, 97, 143, 196: update status to match the problem pages

  #506·mnn31 opened Oct 26, 2026Contributor·

  ·