All pull requests

Pull requests

• fix(ErdosProblems/328): state the negative answer for every C

  erdos-problems
  #7704·Nas01010101 opened Oct 30, 2026·

  ·
  1

• feat(ErdosProblems/739): add Erdős Problem 739

  erdos-problems
  #7703·Nas01010101 opened Oct 30, 2026·

  ·
  1

• GreensOpenProblems/14: W_3_21_eq marked research solved, with [Na26] and [Ku10]

  green-problems
  #7702·EitanNahmias opened Oct 30, 2026·

  ·

• feat(ErdosProblems/935): link formal proofs of parts.ii, ell_two and mahler

  awaiting-authorerdos-problems
  #7699·veljjanoski opened Oct 30, 2026Contributor·

  ·
  1

• feat(ErdosProblems/724): prove euler_conjecture

  erdos-problems
  #7698·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/910): add Erdős Problem 910

  erdos-problems
  #7697·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1184): add Erdős Problem 1184

  erdos-problems
  #7696·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1152): add Erdős Problem 1152

  erdos-problems
  #7695·veljjanoski opened Oct 30, 2026Contributor·

  ·
  1

• feat(ErdosProblems/1115): add Erdős Problem 1115

  erdos-problems
  #7694·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1042): add Erdős Problem 1042

  erdos-problems
  #7693·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/735): add Erdős Problem 735

  erdos-problems
  #7692·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1221): add Erdős Problem 1221

  erdos-problems
  #7691·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1182): add Erdős Problem 1182

  erdos-problems
  #7690·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1165): add Erdős Problem 1165

  erdos-problems
  #7689·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1160): add Erdős Problem 1160

  erdos-problems
  #7688·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1132): add Erdős Problem 1132

  erdos-problems
  #7687·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1118): add Erdős Problem 1118

  erdos-problems
  #7686·veljjanoski opened Oct 30, 2026Contributor·

  ·

• feat(ErdosProblems/1100): add Erdős Problem 1100

  erdos-problems
  #7685·veljjanoski opened Oct 30, 2026Contributor·

  ·
  1

• feat(ErdosProblems/963): add Erdős Problem 963

  erdos-problems
  #7684·veljjanoski opened Oct 30, 2026Contributor·

  ·
  1

• feat(ErdosProblems/831): add Erdős Problem 831

  erdos-problems
  #7683·veljjanoski opened Oct 30, 2026Contributor·

  ·
  1

• feat(ErdosProblems/297): add Erdős Problem 297

  erdos-problems
  #7682·Nas01010101 opened Oct 30, 2026·

  ·
  1

• feat(ErdosProblems/741): link formal refutation of variants.lower

  awaiting-authorerdos-problems
  #7679·ilpauzner opened Oct 29, 2026Contributor·

  ·
  1

• feat(ErdosProblems): link formal proofs of 902 f_two, 652 first, 123 powers_2_3, 669 k_two

  erdos-problems
  #7678·stokes opened Oct 29, 2026·

  ·

• feat(ErdosProblems/816): prove the complete bipartite example; add Matt Stokes to AUTHORS

  documentationerdos-problems
  #7677·stokes opened Oct 29, 2026·

  ·

• feat(ErdosProblems/307): add the 61-prime barrier (statement only)

  erdos-problems
  #7676·ElVec1o opened Oct 29, 2026Contributor·

  ·