×


系統正在處理中....

窗口將在 5秒后自動關閉.


lean  
KK:[lin] DJ:[liːn]

形變: 比較級:leaner  最高級:leanest  

權威釋義



維基百科

Lean是一款在含歸納類型的構造演算基礎上所開發的電腦證明助手和函數式程式語言。Lean最初由萊昂納多·德·莫拉在微軟研究院下研發,目前以開源合作計劃的形式刊登在GitHub上。2023年成立的非盈利Lean集中研究組織(英語:Lean Focused Research Organization,縮寫Lean FRO)支援Lean的持續開發。