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