feat: add Green's Open Problem 82#1897

krrish175-byte wants to merge 4 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

krrish175-byte:fix/issue-1737-greens-problem-82krrish175-byte/formal-conjectures:fix/issue-1737-greens-problem-82Copy head branch name to clipboard