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 FRO প্রকাশিত Lean একটি ওপেন সোর্স Windows সফটওয়্যার (ক্যাটাগরি: IDE ও কোড এডিটর)। এটি Lean দিয়ে লেখা।
ইনস্টলেশন ও সিস্টেমের প্রয়োজনীয়তা
প্রকাশক ৬৪-বিট Windows-এর জন্য পোর্টেবল ইনস্টলার দেন। এটি ইনস্টল না করেই চালানো যায় (পোর্টেবল)।
আপডেট ও সংস্করণের ইতিহাস
বর্তমান সংস্করণ 4.35.0, প্রকাশিত হয়েছে ১২ অক্টোবর, ২০২৬ তারিখে। সংস্করণের ইতিহাসে ১ মে, ২০২৫ থেকে ২৪টি রিলিজ আছে, সবগুলোই অফিশিয়াল ফাইলের সঙ্গে যুক্ত। অর্থাৎ বছরে গড়ে প্রায় ১৭ বার নতুন রিলিজ। শেষ আপডেটটি এক মাসের কম পুরোনো।
জনপ্রিয়তা ও ফাইল টাইপ
GitHub-এ এর সোর্স কোড (leanprover/lean4) ৯,৬২৬টি স্টার পেয়েছে। একই ধরনের প্রোগ্রাম: OpenCode, RStudio ও Node.js (LTS)।
GitHub-এ প্রজেক্টের বিবরণ: “Lean 4 programming language and theorem prover”
সুবিধা / অসুবিধা
সুবিধা
- ওপেন সোর্স: যে কেউ কোড দেখতে ও বিল্ড করতে পারেন
- পোর্টেবল: ইনস্টল ছাড়াই চলে
- ঘন ঘন আপডেট (বছরে প্রায় ১৭ বার)
- বড় ব্যবহারকারী গোষ্ঠী
অসুবিধা
- নেটিভ ARM64 বিল্ড নেই
সংক্ষেপে: Lean ৬৪-বিট PC-র জন্য একটি ওপেন সোর্স Windows টুল (ক্যাটাগরি: IDE ও কোড এডিটর)। এটি নিয়মিত আপডেট করা হয়।
Lean ডাউনলোড করা কি নিরাপদ?
- ফাইলটি আসে github.com থেকে, যা প্রকাশকের নিজস্ব ডোমেইন
- ডাউনলোড লিংক HTTPS ব্যবহার করে
- SHA256 হ্যাশ প্রকাশিত আছে, তাই ফাইলটি যাচাই করতে পারবেন:
5FC033E93E1A7BC59C5EBF311103D2C9CD18D4B3EDDDA4FFA3414E8ADB0EF79E· এই হ্যাশের VirusTotal রিপোর্ট খুলুন - লিংকটি এখনও যাচাই করা হয়নি
- সোর্স কোড উন্মুক্ত
- ExeAtlas কোনো ইনস্টলার হোস্ট করে না, মোড়কে ভরে না বা বদলায় না
সম্পর্কিত গাইড: Windows-এ ফাইলের SHA256 হ্যাশ চেক করার নিয়ম
নিরাপত্তা চর্চা (OpenSSF Scorecard)
Open Source Security Foundation-এর স্বয়ংক্রিয় যাচাই, GitHub-এ leanprover/lean4 রিপোজিটরির ওপর; সর্বশেষ চালানো হয়েছে ১৯ অক্টোবর, ২০২৬ তারিখে।
- নিয়মিত রক্ষণাবেক্ষণ১০
- ঝুঁকিপূর্ণ ওয়ার্কফ্লো নেই১০
- লাইসেন্স ঘোষিত১০
- রিপোজিটরিতে বাইনারি নেই১০
- পিন করা ডিপেন্ডেন্সি৪
- কোড রিভিউ১
- সীমিত টোকেন অনুমতি০
- OpenSSF Best Practices ব্যাজ০
- নিরাপত্তা নীতি০
- ফাজিং০
- স্বাক্ষরিত রিলিজ০
- স্ট্যাটিক কোড বিশ্লেষণ০
এই স্কোর প্রকল্পটি কীভাবে তৈরি ও প্রকাশ করা হয় তা মাপে, প্রোগ্রামটি ইনস্টল করা নিরাপদ কি না তা নয়। 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 ID
- Lean.Lean
রেটিং ও রিভিউ
এখনও কোনো রিভিউ নেই। প্রথম রেটিংটি আপনিই দিন।
Lean-এর বিকল্প
সব দেখুন ›-
ওপেন সোর্স২.৯ লা ↓ -
ওপেন সোর্স৭.১ লা ↓ -
ওপেন সোর্স৪৯.৩ লা ↓ -
ওপেন সোর্স৮৮.৮ হা ↓ -
ওপেন সোর্স৪৯.৭ হা ↓ -
ওপেন সোর্স৩.৯ লা ↓ -
ওপেন সোর্স৭৯.২ হা ↓ -
ওপেন সোর্স৯৪.৬ হা ↓
সচরাচর জিজ্ঞাসিত প্রশ্ন
Lean কি ফ্রি?
হ্যাঁ। Lean একটি ওপেন সোর্স সফটওয়্যার (Apache-2.0 লাইসেন্স)।
Lean ডাউনলোড করা কি নিরাপদ?
ফাইলটি ডাউনলোড হয় github.com থেকে, যা প্রকাশকের নিজস্ব; ExeAtlas ফাইলটি হোস্টও করে না, বদলায়ও না। ডাউনলোড করা ফাইলের SHA256 হ্যাশ এখানে দেখানো হ্যাশের সঙ্গে মিলিয়ে নিন, অথবা সেই হ্যাশের VirusTotal রিপোর্ট খুলুন।
winget দিয়ে Lean কীভাবে ইনস্টল করবেন?
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। বিকল্প পাতায় এগুলোর তুলনা দেওয়া আছে।
