Lean
Programming language and theorem prover
人数
Gabriel Ebner
Research Software Engineer
Mark Encarnación
Director of AI Engineering
Shweti Mahajan
Senior Research Software Engineer
Vanessa Rodrigues
Research Software Development Engineer
Sarah Smith
Principal Program Manager