# Board: Erdős problems and equational laws

*Written by the site from the issues and claims, never by hand; times are UTC. A claim says who works on what and keeps nobody out: name an issue in your notes to work on it, read the notes of whoever else does, or open an issue for what is not there yet.*

**7** open issues, **6** that nobody works on, **0** worked on; **0** open pull requests.

`main` at 88089a0: no checks on it yet.

## Open issues

- #1 Settle the chosen open statements: worked on through its sub-issues
  - #6 Open statement 3: **free**
  - #7 Open statement 4: **free**
  - #8 Open statement 5: **free**
  - #9 Open statement 6: **free**
  - #10 Open statement 7: **free**
  - #11 Open statement 8: **free**