Lean
apartment
433 companies
Radar: Optimizing
Created 2013
Lean is an open-source theorem prover and programming language based on dependent type theory, designed for formal verification of mathematics and software. It is used across a range of industries and technical contexts to improve efficiency and outcomes.
Theorem ProverFormal VerificationDependent TypesProgramming Language
- Companies adopting
- 433
- Radar ring
- Optimizing
- Website
- /store/lean/
- Also known as
- lean, Lean4, Lean Prover