Lean
Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式編程語言。Lean最初由在微軟研究院下研發，目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織（，縮寫Lean FRO）支持Lean的持續開發。 歷史 2013年，當時在微軟研究院工作的萊昂納多·德·莫拉發佈函數式編程語言Lean。早期版本（後來被稱為Lean 1和2）純粹為實驗版本，當時支援的同倫類型論數學基礎在後來的版本中不再…
标签：#Microsoft programming languages
共 1 篇文章