Correction, Lean4 [1] is sponsored by Amazon, the lead developer, Leonardo de Moura is at AWS now [2]. He was previously at Microsoft Research [3]. Meeting him

Correction, Lean4 [1] is sponsored by Amazon, the lead developer, Leonardo de Moura is at AWS now [2]. He was previously at Microsoft Research [3]. Meeting him is a real ride, I only had the chance to talk with him once. [1] https://lean-lang.org/ https://lean-lang.org/ [2] https://leodemoura.github.io/about.html https://leodemoura.github.io/about.html [3] https://www.microsoft.com/en-us/research/blog/the-inner-magic-behind-the-z3-theorem-prover/ https://www.microsoft.com/en-us/research/blog/the-inner-magi...