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