Lean
官方網站
Git 儲存庫#### 產品特色
* 支援函數式程式設計
* 強大的型別系統與自動證明
* 易於使用的學習曲線
* 跨平台部署
* 社區支持與持續更新
#### 主要功能、特點
Lean 4 是一個強大的程式語言，專為程式設計師和學者打造。它結合了功能式語言的強大型別系統與自動證明能力，提供簡潔的語法和易於使用的學習曲線。Lean 4 支援函數式程式設計，並提供豐富的資料結構和庫，使開發者能夠高效地實現複雜的軟體系統。其強大的型別系統能自動進行類型檢查和推論，減少開發過程中的錯誤。Lean 4 也提供易於使用的開發工具和教學資源，使新手也能快速上手。此外，Lean 4 支援跨平台部署，並有強大的社區支持與持續更新，確保軟體的穩定性和進步。
#### 指令
“`bash
# 無常用指令（自動生成）
“`