← Back to context

Comment by pmarreck

1 day ago

Is this not the Lean proof?

https://github.com/openai/math/blob/main/lean/ComparatorChal...

1 comment

pmarreck

Reply

throwawayk7h 1 day ago

I believe that's just the definition of the problem.