diff --git a/doc/authors.md b/doc/authors.md
index dd7a8de3c..a370634ee 100644
--- a/doc/authors.md
+++ b/doc/authors.md
@@ -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)