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 ژبه لیکل شوی.
نصب او اړتیاوې
خپرونکی د پورټېبل نصبوونکي د 64-bit Windows لپاره وړاندې کوي. بې له نصب چلېږي (پورټېبل).
تازه کېدنې او د نسخو تاریخچه
اوسنۍ نسخه 4.35.0 ده چې په AP ۱۴۰۵ تله ۲۰ خپره شوه. د نسخو تاریخچه ۲۴ خپرونې لري چې تر ټولو زړه یې AP ۱۴۰۴ غویی ۱۱ ته رسېږي؛ ټولې رسمي فایلونو ته لینک لري. یعنې په کال کې شاوخوا ۱۷ خپرونې. وروستۍ تازه کېدنه له یوې میاشتې کمه زړه ده.
شهرت او د فایل ډولونه
په GitHub کې سرچینه کوډ (leanprover/lean4) ۹٬۶۲۶ ستوري لري. ورته پروګرامونه OpenCode، RStudio او Node.js (LTS) دي.
په GitHub کې د پروژې تشریح: “Lean 4 programming language and theorem prover”
ګټې / نیمګړتیاوې
ګټې
- خلاصه سرچینه: هر څوک یې کوډ کتلی او جوړولی شي
- پورټېبل: بې له نصب چلېږي
- ژر ژر تازه کېږي (په کال کې شاوخوا ۱۷ ځله)
- ډېر کاروونکي لري
نیمګړتیاوې
- اصلي ARM64 نسخه نه لري
لنډه دا چې: Lean د 64-bit کمپیوټرونو لپاره یوه خلاصه سرچینه د IDE او کوډ اېډیټرونه وسیله ده. په فعاله توګه ساتل کېږي.
ایا د Lean ډاونلوډ خوندي دی؟
- فایل له github.com څخه راځي، چې د خپرونکي خپل ډومېن دی
- د ډاونلوډ لینک HTTPS کاروي
- SHA256 هش خپور شوی، نو فایل تایید کولی شئ:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· د دې هش د VirusTotal راپور پرانیزئ - لینک لا نه دی کتل شوی
- سرچینه کوډ عامه دی
- ExeAtlas نصبوونکي نه ساتي، نه یې پوښي او نه یې بدلوي
اړوند لارښود: په Windows کې د فایل SHA256 هش څنګه وګورو
امنیتي کړنې (OpenSSF Scorecard)
په GitHub کې د leanprover/lean4 زېرمې اتومات کتنې د Open Source Security Foundation له خوا؛ وروستی ځل په AP ۱۴۰۵ تله ۲۷.
- په فعاله توګه ساتل کېږي۱۰
- خطرناک workflow نشته۱۰
- جواز اعلان شوی۱۰
- په زېرمه کې باینري فایلونه نشته۱۰
- ټاکل شوې تړاوې (dependencies)۴
- د کوډ کتنه۱
- محدودې ټوکن اجازې۰
- د OpenSSF Best Practices نښان۰
- امنیتي پالیسي۰
- Fuzzing ازموینه۰
- لاسلیک شوې خپرونې۰
- د کوډ ثابته شننه۰
دا نمره دا ارزوي چې پروژه څنګه جوړېږي او خپرېږي، نه دا چې د پروګرام نصبول خوندي دي که نه. scorecard.dev
وروستۍ نسخې
ټولې ۲۴ نسخې ›۲۴ نسخې په ۱ کال کې · په کال کې شاوخوا ۱۷
| نسخه | نېټه | اندازه | فایلونه |
|---|---|---|---|
| 4.35.0وروستۍ | AP ۱۴۰۵ تله ۲۰ | — | 64-bit ZIP |
| 4.34.1 | AP ۱۴۰۵ تله ۲ | — | 64-bit ZIP |
| 4.34.0 | AP ۱۴۰۵ وږی ۲۳ | — | 64-bit ZIP |
| 4.33.1 | AP ۱۴۰۵ زمری ۳۰ | — | 64-bit ZIP |
| 4.33.0 | AP ۱۴۰۵ زمری ۱۹ | — | 64-bit ZIP |
| 4.32.2 | AP ۱۴۰۵ زمری ۶ | — | 64-bit ZIP |
| 4.32.1 | AP ۱۴۰۵ چنگاښ ۳۱ | — | 64-bit ZIP |
| 4.32.0 | AP ۱۴۰۵ چنگاښ ۲۲ | — | 64-bit 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
- جوړښت (Architecture)
- 64-bit
- د نصبوونکي ډول
- پورټېبل
- نسخه
- 4.35.0
- د خپرېدو نېټه
- AP ۱۴۰۵ تله ۲۰
- لېست ته د ورزیاتېدو نېټه
- AP ۱۴۰۴ غویی ۱۶
- لېست شوې نسخې
- 24
- په کال کې تازه کېدنې
- ۱۶٫۶
- د GitHub ستوري
- ۹٬۶۲۶
- د GitHub فورکونه
- ۱٬۰۵۹
- وېب پاڼه
- lean-lang.org
- winget ID
- Lean.Lean
درجې او نظرونه
لا تر اوسه هېڅ نظر نشته. لومړۍ درجه تاسو ورکړئ.
د Lean بدیلونه
ټول وګورئ ›-
خلاصه سرچینه (open source)۲۸۵٫۲K ↓ -
خلاصه سرچینه (open source)۷۰۵٫۱K ↓ -
خلاصه سرچینه (open source)۴٫۹M ↓ -
خلاصه سرچینه (open source)۸۸٫۸K ↓ -
خلاصه سرچینه (open source)۴۹٫۷K ↓ -
خلاصه سرچینه (open source)۳۹۴٫۵K ↓ -
خلاصه سرچینه (open source)۷۹٫۲K ↓ -
خلاصه سرچینه (open source)۹۴٫۶K ↓
ډېرې پوښتل شوې پوښتنې
ایا 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 کولی شي د 64-bit نسخه د ایمولېشن له لارې وچلوي.
د Lean زړه نسخه له کومه ډاونلوډ کړم؟
د نسخو پاڼه ټولې ۲۴ نسخې د رسمي نصب فایلونو له لینکونو سره ښیي، تر AP ۱۴۰۴ غویی ۱۱ پورې.
ایا Lean بې له اډمین اجازې کارولی شم؟
هو، پورټېبل دی: خلاص یې کړئ او ویې چلوئ.
د Lean بدیلونه کوم دي؟
OpenCode، RStudio، Node.js (LTS)، Apache NetBeans او Haxe. د بدیلونو پاڼه یې سره پرتله کوي.
