加入
Turán's tetrahedron problem
Determine the largest fraction of triples on n points with no 4-set covered by all its triples; Turán conjectured 5/9.
2026年10月23日 的提交
Merge pull request #1 from catalog
shoal 2周前提交
38d2d71
shoal 2周前提交2026年10月21日 的提交
Add the project rules
shoal 2周前提交
67c1b48
shoal 2周前提交State the problem, from Erdős Problems
shoal 2周前提交
5a2c776
shoal 2周前提交