This repository collects Lean proofs for various mathematical statements:
-
- Erdős Problem 26
- Erdős Problem 31
- Erdős Problem 56, as well as an earlier misformalization thereof
- Erdős Problem 105
- the former statement of Erdős Problem 124
- Erdős Problem 189
- Erdős Problem 198
- Erdős Problem 226
- Erdős Problem 229
- Erdős Problem 246
- (parts of) Erdős Problem 264
- Erdős Problem 303
- Erdős Problem 337
- Erdős Problem 350
- a misformalization of Erdős Problem 354
- (part of) Erdős Problem 367
- Erdős Problem 370
- Erdős Problem 418
- Erdős Problem 476
- a misformalization of Erdős Problem 480
- the former statement of Erdős Problem 488
- Erdős Problem 493
- Erdős Problem 499
- Erdős Problem 541
- Erdős Problem 645
- Erdős Problem 707
- Erdős Problem 897
- Erdős Problem 958
- Erdős Problem 1000
- Erdős Problem 1026
- Erdős Problem 1034
- Erdős Problem 1043
- Erdős Problem 1080
- (a previously-known part of) Erdős Problem 1095