Comment by ubj

This. Lean does not remove human responsibility, but it does assist in reducing the surface that the human needs to inspect and verify.

Now, there is also debate about what is lost when humans don't understand the proof body itself. It's a fair concern, and one we'll probably be wrestling with for some years.