Pages that link to "Lean (proof assistant)"
From HandWiki
The following pages link to Lean (proof assistant):
Displayed 18 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Division by zero (← links)
- F* (programming language) (← links)
- Hilbert's basis theorem (← links)
- Sphere eversion (← links)
- Cons (← links)
- Perfectoid space (← links)
- Dependent type (← links)
- Interactive Theorem Proving (conference) (← links)
- Proof assistant (← links)
- History of type theory (← links)
- Type theory (← links)
- Calculus of constructions (← links)
- List of programming languages by type (← links)
- QED manifesto (← links)
- Condensed mathematics (← links)
- Software:Metamath (← links)
- Software:Isabelle (proof assistant) (← links)
- Software:Mimalloc (← links)
