Tải Lean 4.35.0 cho Windows

Lean is a functional programming language that makes it easy to write correct and maintainable code. You can also use Lean as an interactive theorem prover. Lean programming primarily involves defining types and functions. This allows your focus to remain on the problem domain and manipulating its data, rather than the details of programming. Lean has numerous features, including: - Type inference - First-class functions - Powerful data types - Pattern matching - Type classes - Extensible syntax - Hygienic macros - Dependent types - Metaprogramming framework - Multithreading - Verification: you can prove properties of your functions using Lean itself

Mô tả của nhà phát hành (Tiếng Anh)

Mô tả dự án trên GitHub: “Lean 4 programming language and theorem prover”

Ưu điểm / Nhược điểm

Tóm lại: Lean là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit, thuộc nhóm IDE và trình soạn thảo mã. Phần mềm được cập nhật đều đặn.

Tải Lean có an toàn không?

• Tệp được cung cấp từ github.com, tên miền của chính nhà phát hành
• Liên kết tải về dùng HTTPS
• Có công bố mã SHA256 để kiểm tra tệp: 5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E · Mở báo cáo VirusTotal cho mã băm này
• Liên kết chưa được kiểm tra
• Mã nguồn được công khai
• ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài

Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows

Thực hành bảo mật (OpenSSF Scorecard)

• Được duy trì tích cực10
• Không có workflow nguy hiểm10
• Có khai báo giấy phép10
• Không có tệp nhị phân trong kho10
• Cố định phiên bản thư viện phụ thuộc4
• Duyệt mã1
• Giới hạn quyền token0
• Huy hiệu OpenSSF Best Practices0
• Chính sách bảo mật0
• Fuzzing0
• Bản phát hành có chữ ký0
• Phân tích mã tĩnh0

Điểm số đánh giá cách dự án được phát triển và phát hành, không đánh giá phần mềm có an toàn để cài đặt hay không. scorecard.dev

Tệp chương trình (.exe): lean.exe, leanc.exe

Hướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm

Thông tin

Nhà phát hành

Lean FRO

Danh mục

IDE và trình soạn thảo mã

Giấy phép

Apache-2.0

Giá

Miễn phí

Mã nguồn

github.com/leanprover/lean4

Ngôn ngữ lập trình

Lean

Yêu cầu

Windows 11 / 10

Kiến trúc

64-bit

Loại bộ cài

Portable

Phiên bản

4.35.0

Ngày phát hành

12 tháng 10, 2026

Ngày thêm vào danh mục

6 tháng 5, 2025

Số phiên bản

24

Số lần cập nhật / năm

16,6

Sao GitHub

9.626

Fork trên GitHub

1.059

Trang chủ

lean-lang.org

winget ID

Lean.Lean

Đánh giá và nhận xét

Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.

• 
  OpenCode1.19.4IDE và trình soạn thảo mã · OpenCode
  Mã nguồn mở285,2 N ↓
• 
  RStudio2026.10.0+233IDE và trình soạn thảo mã · Posit Software
  Mã nguồn mở705,1 N ↓
• 
  Node.js (LTS)24.22.1IDE và trình soạn thảo mã · Node.js Foundation
  Mã nguồn mở4,9 Tr ↓
• 
  Apache NetBeans31IDE và trình soạn thảo mã · Apache NetBeans
  Mã nguồn mở88,8 N ↓
• 
  Haxe4.3.7IDE và trình soạn thảo mã · Haxe Foundation
  Mã nguồn mở49,7 N ↓
• 
  VSCodium1.143.17183IDE và trình soạn thảo mã · VSCodium
  Mã nguồn mở394,5 N ↓
• 
  Processing4.5.7IDE và trình soạn thảo mã · Processing Foundation
  Mã nguồn mở79,2 N ↓
• 
  Thonny5.0.0IDE và trình soạn thảo mã · Aivar Annamaa
  Mã nguồn mở94,6 N ↓

Trang này bằng ngôn ngữ khác

• English
• Türkçe
• Deutsch
• Français
• Español
• Português (Brasil)
• Italiano
• Русский
• Polski
• Nederlands
• 日本語
• 简体中文
• 한국어
• Bahasa Indonesia
• العربية
• Українська
• Čeština
• Magyar
• Ελληνικά
• Svenska
• Dansk
• Suomi
• Norsk bokmål
• Română
• ไทย
• हिन्दी
• தமிழ்
• বাংলা
• עברית
• فارسی
• اردو
• Català
• Srpski
• Slovenščina
• Eesti
• Bahasa Melayu
• Oʻzbekcha
• Қазақ тілі
• Български
• Slovenčina
• Hrvatski
• Lietuvių
• Latviešu
• Shqip
• Azərbaycan dili
• ქართული
• Հայերեն
• Беларуская
• Íslenska
• Afrikaans
• Kiswahili
• አማርኛ
• मराठी
• తెలుగు
• ਪੰਜਾਬੀ
• नेपाली
• မြန်မာ
• پښتو
• 繁體中文