Pages that link to "Lean theorem prover/Explainers/Programs and proofs in one language"

The following pages link to Lean theorem prover/Explainers/Programs and proofs in one language:

Displaying 8 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Types as specifications (← links)
• Lean theorem prover/Explainers/Stating the right thing (← links)
• Lean theorem prover/System/Syntax extension and hygienic macros (← links)
• Lean theorem prover/System/The compiler and runtime (← links)
• Lean theorem prover/System/Monads and do-notation (← links)
• Lean theorem prover/Applications/Software verification (← links)
• Lean theorem prover/Bibliography (← links)