လူကြိုက်များ - ဒေတာ အပ်ဒိတ် - ၂၀၂၆ အောက်တိုဘာ ၂၇

အမျိုးအစားများ

အင်တာနက်၁,၃၅၆
ဆက်သွယ်ရေး၃၂၁
အသံနှင့် ဗီဒီယို၈၉၈
ဂရပ်ဖစ်နှင့် ဒီဇိုင်း၅၃၉
ရုံးသုံးနှင့် ထုတ်လုပ်မှု၁,၁၂၄
Developer ကိရိယာများ၃,၁၃၄
AI ကိရိယာများ၅၂၉
လုံခြုံရေးနှင့် privacy၃၈၅
စနစ်ကိရိယာများ၃,၁၁၄
ဂိမ်းများ၅၂၃
ပညာရေးနှင့် သိပ္ပံ၂၃၉
ကွန်ရက်နှင့် IT၂၈၄

Lean အသံတိတ်ထည့်သွင်းခြင်းနှင့် ဖယ်ရှားခြင်း

Programming Language and Theorem Prover

Lean ကို မေးခွန်းမမေးဘဲ ထည့်သွင်းရန်၊ ပြန်ဖယ်ရှားရန်နှင့် deployment ကိရိယာများမှ ထောက်လှမ်းရန် command များ ဖြစ်ပါသည်။ command တစ်ခုကို သေချာမှသာ ပြပါသည် — manifest မှ သို့မဟုတ် installer နည်းပညာ၏ မှတ်တမ်းတင်ထားသော မူလတန်ဖိုးမှ ဖြစ်ပါသည်။

ဆက်စပ် လမ်းညွှန်: အသံတိတ်ထည့်သွင်းခြင်း switch များ - MSI၊ NSIS၊ Inno Setup · Registry သို့မဟုတ် PowerShell ဖြင့် ပရိုဂရမ် ဖယ်ရှားနည်း

winget ဖြင့်

PowerShell
winget install --id Lean.Lean -e --silent --accept-package-agreements --accept-source-agreements
winget upgrade --id Lean.Lean -e --silent
winget uninstall --id Lean.Lean -e --silent

Installer အလိုက်

64-bit · ZIP

ထည့်သွင်းရန် မလိုပါ (portable)

IDE နှင့် code editor များ တွင် လူကြိုက်အများဆုံး

အားလုံးကြည့်ရန်
  1. OpenCodeIDE နှင့် code editor များ · OpenCode
  2. RStudioIDE နှင့် code editor များ · Posit Software
  3. Node.js (LTS)IDE နှင့် code editor များ · Node.js Foundation
  4. Apache NetBeansIDE နှင့် code editor များ · Apache NetBeans
  5. VSCodiumIDE နှင့် code editor များ · VSCodium
  6. HaxeIDE နှင့် code editor များ · Haxe Foundation
  7. ThonnyIDE နှင့် code editor များ · Aivar Annamaa
  8. GDevelopIDE နှင့် code editor များ · GDevelop Team
  9. mkcertIDE နှင့် code editor များ · FiloSottile
  10. ProcessingIDE နှင့် code editor များ · Processing Foundation

Lean FRO ၏ အခြားပရိုဂရမ်များ

အားလုံးကြည့်ရန်

Tag များ

မျှဝေရန်