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
Lean is an interactive theorem prover and programming language developed at Microsoft Research.