Skip to content

feat(ErdosProblems): All 1179 Erdős conjectures formalized #3422

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
ryantuck wants to merge 821 commits into
base: main
Choose a base branch
from

fix(ErdosProblems/78): normalize citation formatting to match project…

a63a4cb
Select commit
Loading
Failed to load commit list.
Open

feat(ErdosProblems): All 1179 Erdős conjectures formalized #3422

fix(ErdosProblems/78): normalize citation formatting to match project…
a63a4cb
Select commit
Loading
Failed to load commit list.
Google CLA / cla/google failed Mar 15, 2026 in 14s

⚠️ Pull request exceeds maximum commit limit

This pull request contains too many commits and cannot be automatically scanned. Below are the scan results for ONLY the last 250 commits.

Googlers: Please manually review the contributors for ALL commits, or reduce this pull request to ≤250 commits. If you have determined that all contributors meet our CLA requirements, you may manually approve this PR using the Googler link below. See go/cla#verify for more information on how to manually verify CLAs.

ℹ️ Googlers: Go here to view more details and manage scans for this pull request.

🔁 New Contributors: Update this check after signing the CLA by clicking here.

Details

The following contributors were found for this pull request:

✅ a63a4cb Author: @ryantuck <r**n​@ryantuck.io>
❌ a63a4cb Co-Author: <no****y​@anthropic.com>

(Only the first commit for a unique contributor is listed.)

View more details on Google CLA