Good first issues

Stream: Formal conjectures

[Moritz Firsching]

We are maintaining list of "good first issues". These are the ones that we expect to be little effort to formalize (<30min) and great opportunities to get started and contribute to the project.

If you're interested, you can check them out here: good first issues in formal-conjectures

To claim an issue and to avoid duplicate work, please respond to it on the issue when starting to work on it. Then it will be assigned to you (and disappear from the list in the link above).

[Yan Yablonovskiy 🇺🇦]

Putting hand up for Erdős Problem 196 and commented just then on GitHub :octopus: :working_on_it: