Lean (proof assistant)
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types.
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types.
Lean is a proof assistant and a functional programming language. It is based on the calculus of constructions with inductive types.
Source: Wikipedia "Lean (proof assistant)" · CC BY-SA 4.0
Share this article: X · Bluesky