mathematical equations

Lean

Programming language and theorem prover

People

Portrait of Gabriel Ebner

Gabriel Ebner

Research Software Engineer

Portrait of Mark Encarnación

Mark Encarnación

Director of Engineering

Portrait of Shweti Mahajan

Shweti Mahajan

Research Software Engineer II

Portrait of Madan Musuvathi

Madan Musuvathi

Partner Research Manager

Portrait of Vanessa Rodrigues

Vanessa Rodrigues

Research Software Development Engineer

Portrait of Sarah Smith

Sarah Smith

Senior Program Manager