Pages that link to "Lean theorem prover/System/Proof export and independent checkers"

The following pages link to Lean theorem prover/System/Proof export and independent checkers:

Displaying 13 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Checking a proof again later (← links)
• Lean theorem prover/Foundations/Consistency and the metatheory (← links)
• Lean theorem prover/System/The Lean kernel (← links)
• Lean theorem prover/System/Decision procedures (← links)
• Lean theorem prover/System/Metaprogramming in Lean (← links)
• Lean theorem prover/System/The compiler and runtime (← links)
• Lean theorem prover/System/Lake and Lean projects (← links)
• Lean theorem prover/History/Automath (← links)
• Lean theorem prover/History/Lean 1 to Lean 3 (← links)
• Lean theorem prover/History/Lean since 2023 (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)