Erdős problems

The 1,011 problem files in FormalConjectures/ErdosProblems that state a research or textbook statement, at commit 2055e5ad, one article each, in sections by hundreds of problem number.

Their docstrings and Lean statements are quoted from Formal Conjectures (Google DeepMind) at that commit, under its Apache-2.0 license.

Formal Conjectures' README for this folder asks contributors to keep each docstring as close as possible to the problem's text on erdosproblems.com, and to copy it from the site's LaTeX. Each article links its problem's page there.

• Problems 1 to 99
• Problems 100 to 199
• Problems 200 to 299
• Problems 300 to 399
• Problems 400 to 499
• Problems 500 to 599
• Problems 600 to 699
• Problems 700 to 799
• Problems 800 to 899
• Problems 900 to 999
• Problems 1000 to 1099
• Problems 1100 to 1199
• Problems 1200 to 1299

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.