Comment by ramon156

blegh, both the code comments and readme reek of verbose claude puke.

> The registered Lean build passed without errors or warnings.

thanks. i like it when my proofs do not error.

Edit: just saw this was published under openai, yikes.