Comment by mattr03

21 hours ago

What is this meant to do? You're just showing that OpenAI didnt post a Lean proof that Lean/nanoda doesn't really accept?

0 comments