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

## Notes related to Lean theorem prover

## Papers related to Lean theorem prover

- The Lean theorem prover (system description) [demoura:cade:2015]

Interesting papers

[Google Scholar] [Website] [Wikipedia]

Notes:
interactive theorem prover

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

- The Lean theorem prover (system description) [demoura:cade:2015]

The opinions expressed are my own views and not my employer’s.