Pages that link to "Lean theorem prover/Explainers/Checking a proof again later"

The following pages link to Lean theorem prover/Explainers/Checking a proof again later:

Displaying 8 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Checking instead of convincing (← links)
• Lean theorem prover/Explainers/The small trusted core (← links)
• Lean theorem prover/Explainers/What has to be trusted (← links)
• Lean theorem prover/Explainers/A library of mathematics (← links)
• Lean theorem prover/System/Proof export and independent checkers (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)