Lean
Programming language and theorem prover
研究组
加载中…
成立:
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…