michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(doc/authors.md): update authors.md page

Browse source 
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
This commit is contained in:
Leonardo de Moura 2014-08-25 10:27:27 -07:00
parent 82a7de83cc
commit 4a9e48d249
1 changed files with 12 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
doc/authors.md
View file

@ -5,3 +5,15 @@ 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)