elan is a small tool for managing your installations of the Lean theorem prover. It places lean and lake binaries in your PATH that automatically select and, if necessary, download the Lean version described in your project's lean-toolchain file. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable.
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
Elan คือโปรแกรมอะไร
Lean FRO เป็นผู้เผยแพร่ Elan ซึ่งเป็นซอฟต์แวร์โอเพนซอร์สบน Windows พัฒนาด้วยภาษา Rust
การติดตั้งและความต้องการของระบบ
ผู้เผยแพร่มีตัวติดตั้ง พกพา (Portable) สำหรับระบบ 64 บิต ใช้งานได้โดยไม่ต้องติดตั้ง (แบบพกพา)
การอัปเดตและประวัติเวอร์ชัน
เวอร์ชันล่าสุดคือ 4.2.4 เผยแพร่เมื่อ 25 สิงหาคม 2569 ประวัติเวอร์ชันย้อนไปถึง 30 เมษายน 2568 รวม 7 รุ่น ทุกรุ่นลิงก์ไปยังไฟล์ทางการ เฉลี่ยแล้วออกเวอร์ชันใหม่ประมาณปีละ 5.3 ครั้ง
ความนิยมและประเภทไฟล์
ซอร์สโค้ดบน GitHub (leanprover/elan) ได้รับ 659 ดาว
คำอธิบายโครงการบน GitHub: “The Lean version manager”
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- แบบพกพา ใช้งานได้โดยไม่ต้องติดตั้ง
ข้อเสีย
- ไม่มีเวอร์ชัน ARM64 แบบเนทีฟ
สรุปสั้น ๆ: Elan เป็นเครื่องมือโอเพนซอร์สสำหรับ Windows สำหรับพีซี 64 บิต ยังมีการพัฒนาอย่างต่อเนื่อง
ดาวน์โหลด Elan ปลอดภัยไหม
- ไฟล์ให้บริการจาก github.com ซึ่งเป็นโดเมนของผู้เผยแพร่เอง
- ลิงก์ดาวน์โหลดใช้ HTTPS
- มีค่าแฮช SHA256 เผยแพร่ไว้ จึงตรวจสอบไฟล์ได้:
FAD2E980A191C15884CC1D80D170FFC5FA84F3774541020145B66D1A644C6111· เปิดรายงาน VirusTotal ของค่าแฮชนี้ - ยังไม่ได้ตรวจสอบลิงก์
- ซอร์สโค้ดเปิดเผยต่อสาธารณะ
- ExeAtlas ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
เวอร์ชันล่าสุด
ทั้งหมด 7 เวอร์ชัน ›7 เวอร์ชันในช่วง 1 ปี · ประมาณปีละ 5.3 ครั้ง
| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 4.2.4ล่าสุด | 25 สิงหาคม 2569 | — | 64 บิต ZIP |
| 4.2.3 | 8 มิถุนายน 2569 | — | 64 บิต ZIP |
| 4.2.2 | 28 พฤษภาคม 2569 | — | 64 บิต ZIP |
| 4.2.1 | 18 มีนาคม 2569 | — | 64 บิต ZIP |
| 4.2.0 | 25 กุมภาพันธ์ 2569 | — | 64 บิต ZIP |
| 4.1.2 | 26 พฤษภาคม 2568 | — | 64 บิต ZIP |
| 4.1.1 | 30 เมษายน 2568 | — | 64 บิต ZIP |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›winget install --id Lean.Elan -escoop install main/elanไฟล์โปรแกรม (.exe): elan.exe, lake.exe, lean.exe, leanc.exe, leanchecker.exe, leanmake.exe, leanpkg.exe
คู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
ข้อมูล
- ผู้เผยแพร่
- Lean FRO
- สัญญาอนุญาต
- Apache-2.0
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com/leanprover/elan
- เขียนด้วยภาษา
- Rust
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต
- ตัวติดตั้ง
- พกพา (Portable)
- เวอร์ชัน
- 4.2.4
- วันที่เผยแพร่
- 25 สิงหาคม 2569
- เพิ่มเข้าแค็ตตาล็อก
- 4 พฤษภาคม 2568
- จำนวนเวอร์ชันในรายการ
- 7
- อัปเดต / ปี
- 5.3
- ดาว GitHub
- 659
- GitHub fork
- 60
- เว็บไซต์
- github.com
- winget ID
- Lean.Elan
- แพ็กเกจ Scoop
- main/elan
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
คำถามที่พบบ่อย
Elan ใช้ฟรีไหม
ฟรี Elan เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต Apache-2.0
ดาวน์โหลด Elan ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก github.com ซึ่งเป็นของผู้เผยแพร่เอง ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้ คุณสามารถเทียบค่าแฮช SHA256 ของไฟล์กับค่าที่แสดงในหน้านี้ หรือเปิดรายงาน VirusTotal ของค่าแฮชนั้นได้
ติดตั้ง Elan ด้วย winget อย่างไร
เปิด PowerShell หรือ Windows Terminal แล้วรันคำสั่ง winget ที่แสดงในหน้านี้ winget จะดาวน์โหลดตัวติดตั้งทางการและตรวจสอบค่าแฮช SHA256 ก่อนเริ่มติดตั้ง
Elan ใช้บน ARM (Windows on Arm) ได้ไหม
ไม่มีเวอร์ชัน ARM64 แต่ Windows 11 on Arm สามารถรันเวอร์ชัน 64 บิต ผ่านการจำลองได้
ดาวน์โหลด Elan เวอร์ชันเก่าได้ที่ไหน
หน้าเวอร์ชันมีรายการครบทั้ง 7 เวอร์ชัน พร้อมลิงก์ไปยังไฟล์ตัวติดตั้งทางการ ย้อนไปถึง 30 เมษายน 2568
ใช้ Elan โดยไม่มีสิทธิ์ผู้ดูแลระบบได้ไหม
ได้ เป็นแบบพกพา แตกไฟล์แล้วเปิดใช้งานได้เลย
