Leonardo de Moura https://www.microsoft.com/en-us/research/people/leonardo/

Se preferir ver esta entrevista em vídeo, ela está em https://youtu.be/bwKFcLaeD1A.

Lean https://leanprover.github.io/

Zulip do Lean: https://leanprover.zulipchat.com/login/

Vaga na Microsoft Research https://careers.microsoft.com/us/en/job/1203686/Research-Software-Engineer-Formal-Methods-Microsoft-Research

Contribuidores nas perguntas: Walter Carnielli e Adair Antonio Da Silva Neto

Adolfo Neto no Twitter https://twitter.com/adolfont