I’m a non-math layman, and not a scientific method knower like yourself. How does one usually “replicate” a math or Lean proof?
replyHopefully not in the same way you should never naively trust compilers!
replyThe generation of the proof can be replicated. And if it can‘t we should be suspicious of their claims.
reply