From the Lean reference manual;

Validating a Lean Proof - https://lean-lang.org/doc/reference/latest/ValidatingProofs/