mathematical equations

Lean

Programming language and theorem prover

Groups

Established:

The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough innovation. We are a research group with world-class specialists solving highly uncertain, complex problems. We build technologies to benefit society, including tools for…