doc: define trust in "Validating a Lean Proof"#847

OrfeasLitos wants to merge 3 commits into

leanprover:mainleanprover/reference-manual:mainfrom

OrfeasLitos:trusted-baseOrfeasLitos/reference-manual:trusted-baseCopy head branch name to clipboard