Skip to content

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

Open
OrfeasLitos wants to merge 3 commits into
leanprover:mainfrom
OrfeasLitos:trusted-base
Open

doc: define trust in "Validating a Lean Proof"#847
OrfeasLitos wants to merge 3 commits into
leanprover:mainfrom
OrfeasLitos:trusted-base

doc: correct mistakes and clarify phrasing in Validating Proofs

a29def7
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Ensure copyright header presence
succeeded May 24, 2026 in 5s