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

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.