Add Erdős Problem 595 (K₄-free graph not union of triangle-free, $250 prize)#3775

mo271 merged 6 commits into

google-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

henrykmichalewski:add-problem-595henrykmichalewski/formal-conjectures:add-problem-595Copy head branch name to clipboard