Lean
Programming language and theorem prover
Personne
Gabriel Ebner
Research Software Engineer
Mark Encarnación
Directeur de l’ingénierie
Shweti Mahajan
Research Software Engineer II
Madan Musuvathi
Partner Research Manager
Vanessa Rodrigues
Ingénieur en développement logiciel pour la recherche
Sarah Smith
Gestionnaire de programmes principal