Add Erdős Problem 1177 (three conjectures on obligatory 3-uniform hypergraphs)#3790
Open
henrykmichalewski wants to merge 5 commits intogoogle-deepmind:mainfrom
Open
Add Erdős Problem 1177 (three conjectures on obligatory 3-uniform hypergraphs)#3790henrykmichalewski wants to merge 5 commits intogoogle-deepmind:mainfrom
henrykmichalewski wants to merge 5 commits intogoogle-deepmind:mainfrom
Commits
Commits on Apr 17, 2026
Commits on Apr 22, 2026
Commits on May 8, 2026
- committed
- committed
- committed