Erdős 944: machine-checked cores for the k=4, r=1 six-regular subproblem#4237
Open
AlperTheKing wants to merge 7 commits into
Open
Erdős 944: machine-checked cores for the k=4, r=1 six-regular subproblem#4237AlperTheKing wants to merge 7 commits into
AlperTheKing wants to merge 7 commits into
Google CLA / cla/google
succeeded
Jun 27, 2026 in 6s
✅ All contributors are covered under a CLA with Google
See https://cla.developers.google.com/ for more info about Google's Contributor License Agreement (CLA).
ℹ️ Googlers: Go here to view more details and manage scans for this pull request.
Details
The following contributors were found for this pull request:
✅ 0946e98 Author: @AlperTheKing <a***r@mercurycodelab.com>, <alpe********usa@gmail.com>
(Only the first commit for a unique contributor is listed.)
Loading