feat: Add K3 verification for Conjecture 19#1511

henrykmichalewski wants to merge 2 commits intogoogle-deepmind:maingoogle-deepmind/formal-conjectures:mainfrom

henrykmichalewski:k3-conjecture-19-upstreamhenrykmichalewski/formal-conjectures:k3-conjecture-19-upstreamCopy head branch name to clipboard