Lean - 30 chỉ số và điểm AHP

Giới thiệu

Lean là một ngôn ngữ lập trình Functional, Declarative, Dependent Types xuất hiện lần đầu vào năm 2013, do Leonardo de Moura thiết kế. Các trường hợp sử dụng chính: Theorem Proving, Formal Verification, Academic Research.

30 chỉ số

Ví dụ Hello World

#eval IO.println "Hello, World!"

Các trường hợp sử dụng chính

• Theorem Proving
• Formal Verification
• Academic Research

Framework phổ biến

• Mathlib
• Lean 4

Điểm AHP

Lean Điểm AHP: 2.95 (#188)

So sánh liên quan

• Lean vs typescript
• Lean vs npm
• Lean vs csharp
• Lean vs css
• Lean vs python
• Lean vs javascript
• Lean vs markdown
• Lean vs html