Lean
Programming language and theorem prover
グループ
読み込み中…
Note: This research has reached its conclusion, and this page is for historical reference and archival purposes only. The Microsoft Research Special Projects group operates on the boundary between engineering and research to drive breakthrough innovation. We are a research…