II.
Language overview
Reference · livelanguage:lean
Lean overview
Lean — a dependently-typed functional programming language and theorem prover (Lean 4) developed by Microsoft Research / the Lean FRO, paired with the mathlib mathematics library.
Attributes
displayName
Lean
paradigms
- functional
- dependently-typed
- proof-assistant
description
Lean — a dependently-typed functional programming language and
theorem prover (Lean 4) developed by Microsoft Research / the Lean
FRO, paired with the mathlib mathematics library.
Outgoing edges
applies_to2
- domain:mathematics·DomainMathematics
- domain:computer-science·DomainComputer Science
Incoming edges
None.