Vela Mathematics Program: problems · problems.science

Narrowed toproved (Lean) ×not formalized ×source:plby-lean-proofs ×Clear all

Declared status

Status and formalization as the source record declares them, across two upstream serializations this product does not merge. Neither is a Vela standing. These 6 are source-native problems, not Claims: no Claim binds them and none carries a Verification.

Formalization

Subject tag

Contributing source

Problem ledger

6 problemsGraph view

declared proved (Lean)erdos:237

Erdős problem 237

number theoryprimesN/A4 sources

declared proved (Lean)erdos:433

Erdős problem 433

number theorypossible4 sources

declared proved (Lean)erdos:490

Erdős problem 490

number theoryA3972054 sources

declared proved (Lean)erdos:658

Erdős problem 658

additive combinatoricspossible4 sources

declared proved (Lean)erdos:947

Erdős problem 947

number theorycovering systemsN/A4 sources

declared proved (Lean)erdos:964

Erdős problem 964

number theorydivisorsN/A4 sources