加入
Erdős problems and equational laws
Open statements settled by a Lean proof or a finite counterexample (placeholder)
README.md
| number | 6 |
|---|---|
| title | Open statement 3 |
| state | open |
| author | curator |
| created_at | 2026-10-21T06:26:49Z |
Open statements settled by a Lean proof or a finite counterexample (placeholder)
| number | 6 |
|---|---|
| title | Open statement 3 |
| state | open |
| author | curator |
| created_at | 2026-10-21T06:26:49Z |