Comment by bmitc

> The authors are claiming that the Lean proof is not the same proof as the NL one.

Is that exactly the same as saying the Lean proof isn't correct? I'm confused by what you're trying to distinguish.