Authors ------- The Lean theorem prover is being developed by - [Leonardo de Moura](http://research.microsoft.com/en-us/um/people/leonardo) (Microsoft Research) - [Soonho Kong](http://www.cs.cmu.edu/~soonhok) (CMU) The Lean standard library is being developed by - [Jeremy Avigad](http://www.andrew.cmu.edu/user/avigad) (CMU) - [Floris van Doorn](http://www.contrib.andrew.cmu.edu/~fpv/) (CMU) - [Leonardo de Moura](http://research.microsoft.com/en-us/um/people/leonardo) (Microsoft Research) Contributors - [Cody Roux](http://www.andrew.cmu.edu/user/croux/) (Draper) - [Robert Lewis](https://www.andrew.cmu.edu/user/rlewis1/Site/Home.html) (CMU) - Parikshit Khanna (Indian Institute of Technology, Kanpur)