Pages that link to "Lean theorem prover/Explainers/Checking instead of convincing"

The following pages link to Lean theorem prover/Explainers/Checking instead of convincing:

Displaying 8 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/What a proof assistant does (← links)
• Lean theorem prover/Foundations/Terms, types and judgments (← links)
• Lean theorem prover/Applications/Teaching with Lean (← links)
• Lean theorem prover/Applications/Machine learning and theorem proving (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Sources (← links)
• Lean theorem prover/Bibliography (← links)