Lean theorem prover

Lean theorem prover
[Google Scholar] [Website] [Wikipedia]

Notes: interactive theorem prover

Lean is an interactive theorem prover and programming language developed at Microsoft Research.


Dependent type