https://lean-lang.org/doc/reference/latest/ValidatingProofs/#The-Lean-Language-Reference--Validating-a-Lean-Proof--Remaining-Issues https://lean-lang.org/doc/re

https://lean-lang.org/doc/reference/latest/ValidatingProofs/#The-Lean-Language-Reference--Validating-a-Lean-Proof--Remaining-Issues https://lean-lang.org/doc/reference/latest/ValidatingProofs/...