Pages that link to "Lean theorem prover/System/The Lean kernel"

The following pages link to Lean theorem prover/System/The Lean kernel:

Displaying 12 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/What a proof assistant does (← 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/Foundations/Terms, types and judgments (← links)
• Lean theorem prover/Foundations/Consistency and the metatheory (← links)
• Lean theorem prover/System/Elaboration (← links)
• Lean theorem prover/System/Metavariables and unification (← links)
• Lean theorem prover/System/The tactic framework (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Bibliography (← links)