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

Senior Research Software Engineer

Portrait of Vanessa Rodrigues

Vanessa Rodrigues

Research Software Development Engineer

Portrait of Sarah Smith

Sarah Smith

Principal Program Manager