Pages that link to "Lean (proof assistant)"
From HandWiki
The following pages link to Lean (proof assistant):
Displaying 17 items.
- Division by zero (← links)
- F* (programming language) (← links)
- Hilbert's basis theorem (← 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)
