Pages that link to "Lean"
← Lean
The following pages link to Lean:
Displaying 14 items.
- Formal methods (← links)
- Theorem proving (← links)
- Verification (← links)
- Isabelle/HOL (← links)
- Mathematical Components (← links)
- SSReflect (← links)
- Agda (← links)
- Dependent Type (← links)
- Idris (← links)
- PVS (← links)
- HOL Light (← links)
- Z Notation (← links)
- Agda (programming language) (← links)
- Coq proof assistant (← links)