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: 3.81 (#148)

So sánh liên quan

• Lean vs cpp
• Lean vs css
• Lean vs typescript
• Lean vs react
• Lean vs java
• Lean vs javascript
• Lean vs python
• Lean vs csharp