Comment by phoghed

I’m a non-math layman, and not a scientific method knower like yourself. How does one usually “replicate” a math or Lean proof?