Skip to content

feat(ErdosProblems): Add Erdos README#2407

Merged
Paul-Lez merged 3 commits intogoogle-deepmind:mainfrom
danielchin:erdos-readme
Feb 27, 2026
Merged

feat(ErdosProblems): Add Erdos README#2407
Paul-Lez merged 3 commits intogoogle-deepmind:mainfrom
danielchin:erdos-readme

Conversation

@danielchin
Copy link
Contributor

This is a follow up to the discussion in #2327 (comment)

This is a quick draft I put together, so feel free to fix anything you see fit.

The one thing I added that we haven't really talked about is the References section that I put below.

This is really just a massive nit of mine, but this is kind of a common pattern in software engineering where you have a singular/plural word to describe a list of things, but you should really just commit to using the plural despite having a single item in the list. It'll allow for easier templating and formatting down the road as well.

@github-actions github-actions bot added the erdos-problems Erdős Problems label Feb 26, 2026
@danielchin danielchin changed the title Add Erdos README feat(ErdosProblems): Add Erdos README Feb 26, 2026
Copy link
Member

@Paul-Lez Paul-Lez left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thanks for adding this! Two minor nits to harmonise the blank lines in your .md file

Copy link
Collaborator

@mo271 mo271 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks, LGTM! only one minor nit...

@Paul-Lez Paul-Lez merged commit 5ccb2d2 into google-deepmind:main Feb 27, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

erdos-problems Erdős Problems

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants