Please note that the directory src/v4.24.0 is a Lean project that (last I checked) builds as a whole. However, be aware that it might take many hours to finish.
This repository collects Lean proofs for various mathematical statements:
-
- Erdős Problem 26
- Erdős Problem 31
- Erdős Problem 34
- 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 134
- Erdős Problem 189
- Erdős Problem 198
- Erdős Problem 205
- Erdős Problem 226
- Erdős Problem 229
- Erdős Problem 246
- (parts of) Erdős Problem 264
- Erdős Problem 275
- Erdős Problem 303
- Erdős Problem 315
- 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 419
- Erdős Problem 435
- Erdős Problem 443
- Erdős Problem 447
- Erdős Problem 453
- 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 497
- Erdős Problem 499
- Erdős Problem 505
- Erdős Problem 537
- Erdős Problem 541
- Erdős Problem 582
- Erdős Problem 618
- Erdős Problem 645
- Erdős Problem 648
- Erdős Problem 649
- Erdős Problem 659
- Erdős Problem 666
- Erdős Problem 678 (and a separate tiny part)
- Erdős Problem 707
- Erdős Problem 762
- Erdős Problem 794
- Erdős Problem 845
- Erdős Problem 862
- Erdős Problem 871
- Erdős Problem 897
- Erdős Problem 958
- Erdős Problem 1000
- Erdős Problem 1007
- Erdős Problem 1008
- Erdős Problem 1022
- Erdős Problem 1023
- Erdős Problem 1026
- Erdős Problem 1028
- Erdős Problem 1034
- Erdős Problem 1036
- Erdős Problem 1037
- Erdős Problem 1043
- Erdős Problem 1047
- Erdős Problem 1048
- Erdős Problem 1067
- Erdős Problem 1071
- Erdős Problem 1080
- (a previously-known part of) Erdős Problem 1095