Clarifications on Lean's history

Stream: general

[Horatiu Cheval]

I am writing my master's thesis at the moment, and I need to write a brief introduction on Lean and I don't want to misrepresent something. My understanding is:

• Lean started in 2013 at Microsoft Research
• with Leonardo de Moura and Sebastian Ulrich as lead developers
• Lean3 was released in 2017 and in the same year mathlib started
  Did I get this right? Could someone confirm that this is right or correct me if that's the case?

Thanks

[Brandon Brown]

Jeremy Avigad gives a history here: https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/New.20to.20Lean/near/245113539

[Horatiu Cheval]

Thanks, that was a nice read