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