Pages that link to "Lean theorem prover/Foundations/Universes and Prop"

The following pages link to Lean theorem prover/Foundations/Universes and Prop:

Displaying 10 items.

• Lean theorem prover (← links)
• Lean theorem prover/Explainers/Why there is no type of all types (← links)
• Lean theorem prover/Foundations/Terms, types and judgments (← links)
• Lean theorem prover/Foundations/Dependent function types (← links)
• Lean theorem prover/History/Martin-Löf type theory (← links)
• Lean theorem prover/History/The Calculus of Constructions (← links)
• Lean theorem prover/Glossary (← links)
• Lean theorem prover/Notation (← links)
• Lean theorem prover/Sources (← links)
• Lean theorem prover/Bibliography (← links)