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
توضیحات ناشر (انگلیسی)
Lean چیست؟
Lean ساخته Lean FRO در دسته‌بندی IDE و ویرایشگر کد قرار دارد و نرم‌افزاری متن‌باز است. به زبان Lean نوشته شده است.
نصب و پیش‌نیازها
ناشر نصب‌کننده‌های پرتابل را برای ویندوز ۶۴ بیتی ارائه می‌کند. بدون نصب اجرا می‌شود (نسخه پرتابل).
به‌روزرسانی‌ها و تاریخچه نسخه‌ها
نسخه فعلی 4.35.0 است که در ۲۰ مهر ۱۴۰۵ منتشر شد. تاریخچه نسخه‌ها ۲۴ نسخه را در بر می‌گیرد که قدیمی‌ترین آن‌ها به ۱۱ اردیبهشت ۱۴۰۴ برمی‌گردد؛ همه به فایل‌های رسمی لینک دارند. یعنی حدود ۱۷ نسخه در سال. آخرین به‌روزرسانی کمتر از یک ماه پیش منتشر شده است.
محبوبیت و انواع فایل
کد منبع آن در GitHub (leanprover/lean4) ۹٬۶۲۶ ستاره دارد. نرم‌افزارهای مشابه: OpenCode، RStudio و Node.js (LTS).
توضیح پروژه در GitHub: “Lean 4 programming language and theorem prover”
نقاط قوت / نقاط ضعف
نقاط قوت
- متن‌باز: هر کسی می‌تواند کد را بررسی و کامپایل کند
- پرتابل: بدون نصب اجرا می‌شود
- به‌روزرسانی‌های مکرر (حدود ۱۷ بار در سال)
- کاربران فراوان
نقاط ضعف
- بدون نسخه بومی ARM64
به طور خلاصه: Lean ابزاری متن‌باز در دسته‌بندی IDE و ویرایشگر کد برای رایانه‌های ۶۴ بیتی است. به‌طور فعال نگهداری می‌شود.
آیا دانلود Lean امن است؟
- فایل از github.com، دامنه خود ناشر، ارائه می‌شود
- لینک دانلود از HTTPS استفاده می‌کند
- هش SHA256 منتشر شده است و می‌توانید فایل را بررسی کنید:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· گزارش VirusTotal این هش را باز کنید - لینک هنوز بررسی نشده است
- کد منبع عمومی است
- ExeAtlas فایل‌های نصب را میزبانی، بسته‌بندی یا تغییر نمی‌دهد
آموزش مرتبط: بررسی هش SHA256 فایل در ویندوز
شیوه‌های امنیتی (OpenSSF Scorecard)
بررسی خودکار مخزن leanprover/lean4 در GitHub توسط Open Source Security Foundation؛ آخرین اجرا: ۲۷ مهر ۱۴۰۵.
- نگهداری فعال۱۰
- بدون گردش‌کار خطرناک۱۰
- مجوز اعلام‌شده۱۰
- بدون فایل باینری در مخزن۱۰
- وابستگی‌های قفل‌شده۴
- بازبینی کد۱
- مجوزهای محدود توکن۰
- نشان بهترین شیوه‌های OpenSSF۰
- سیاست امنیتی۰
- آزمون فازینگ (Fuzzing)۰
- انتشارهای امضاشده۰
- تحلیل ایستای کد۰
این امتیاز شیوه توسعه و انتشار پروژه را می‌سنجد، نه اینکه نصب برنامه امن است یا نه. scorecard.dev
نسخه‌های اخیر
همه ۲۴ نسخه ›۲۴ نسخه در ۱ سال · حدود ۱۷ نسخه در سال
| نسخه | تاریخ | حجم | فایل‌ها |
|---|---|---|---|
| 4.35.0آخرین | ۲۰ مهر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.34.1 | ۲ مهر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.34.0 | ۲۳ شهریور ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.33.1 | ۳۰ مرداد ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.33.0 | ۱۹ مرداد ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.32.2 | ۶ مرداد ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.32.1 | ۳۱ تیر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
| 4.32.0 | ۲۲ تیر ۱۴۰۵ | — | ۶۴ بیتی ZIP |
نصب از خط فرمان
نصب بی‌صدا ›winget install --id Lean.Lean -eفایل‌های برنامه (.exe): lean.exe, leanc.exe
آموزش مرتبط: آموزش winget: نصب و به‌روزرسانی نرم‌افزار در ویندوز
اطلاعات
- ناشر
- Lean FRO
- دسته‌بندی
- IDE و ویرایشگر کد
- مجوز
- Apache-2.0
- قیمت
- رایگان
- کد منبع
- github.com/leanprover/lean4
- زبان برنامه‌نویسی
- Lean
- پیش‌نیاز
- Windows 11 / 10
- معماری
- ۶۴ بیتی
- نوع نصب‌کننده
- پرتابل
- نسخه
- 4.35.0
- تاریخ انتشار
- ۲۰ مهر ۱۴۰۵
- تاریخ افزودن به فهرست
- ۱۶ اردیبهشت ۱۴۰۴
- نسخه‌های فهرست‌شده
- 24
- به‌روزرسانی در سال
- ۱۶٫۶
- ستاره‌های GitHub
- ۹٬۶۲۶
- فورک‌های GitHub
- ۱٬۰۵۹
- وب‌سایت رسمی
- lean-lang.org
- شناسه winget
- Lean.Lean
امتیازها و نظرها
هنوز نظری ثبت نشده است. نخستین امتیاز را شما بدهید.
جایگزین‌های Lean
مشاهده همه ›-
متن‌باز۲۸۵٫۲ هزار ↓ -
متن‌باز۷۰۵٫۱ هزار ↓ -
متن‌باز۴٫۹ میلیون ↓ -
متن‌باز۸۸٫۸ هزار ↓ -
متن‌باز۴۹٫۷ هزار ↓ -
متن‌باز۳۹۴٫۵ هزار ↓ -
متن‌باز۷۹٫۲ هزار ↓ -
متن‌باز۹۴٫۶ هزار ↓
پرسش‌های متداول
آیا Lean رایگان است؟
بله. Lean نرم‌افزاری متن‌باز با مجوز Apache-2.0 است.
آیا دانلود Lean امن است؟
فایل از github.com که متعلق به خود ناشر است دانلود می‌شود؛ ExeAtlas فایل را میزبانی یا تغییر نمی‌دهد. هش SHA256 فایل را با هش نمایش‌داده‌شده در این صفحه مقایسه کنید یا گزارش VirusTotal همین هش را باز کنید.
چگونه Lean را با winget نصب کنیم؟
PowerShell یا Windows Terminal را باز کنید و دستور winget نمایش‌داده‌شده در این صفحه را اجرا کنید. winget فایل نصب رسمی را دانلود می‌کند و پیش از اجرا، هش SHA256 آن را بررسی می‌کند.
آیا Lean روی ARM (Windows on Arm) اجرا می‌شود؟
نسخه ARM64 وجود ندارد؛ Windows 11 on Arm می‌تواند نسخه ۶۴ بیتی را با شبیه‌سازی اجرا کند.
نسخه‌های قدیمی Lean را از کجا دانلود کنیم؟
صفحه نسخه‌ها همه ۲۴ نسخه را تا ۱۱ اردیبهشت ۱۴۰۴ با لینک فایل‌های نصب رسمی فهرست می‌کند.
آیا می‌توان از Lean بدون دسترسی مدیر استفاده کرد؟
بله، نسخه پرتابل است: آن را از حالت فشرده خارج و اجرا کنید.
جایگزین‌های Lean کدام‌اند؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans و Haxe. صفحه جایگزین‌ها آن‌ها را با هم مقایسه می‌کند.
