Comment Comment by pmarreck Is this not the Lean proof?https://github.com/openai/math/blob/main/lean/ComparatorChal... parent pmarreck 25 days ago
https://github.com/openai/math/blob/main/lean/ComparatorChal...