ยอดนิยม: อัปเดตข้อมูลเมื่อ 15 พฤศจิกายน 2569

หมวดหมู่

อินเทอร์เน็ต1,415
การสื่อสาร328
เสียงและวิดีโอ936
กราฟิกและการออกแบบ561
ออฟฟิศและเพิ่มประสิทธิภาพ1,176
เครื่องมือนักพัฒนา3,279
เครื่องมือ AI605
ความปลอดภัยและความเป็นส่วนตัว407
เครื่องมือระบบ3,183
เกม544
การศึกษาและวิทยาศาสตร์241
เครือข่ายและไอที292

ดาวน์โหลด Elan 4.2.3

The Lean version manager

นี่คือเวอร์ชันเก่า เวอร์ชันล่าสุดคือ 4.2.4 Elan 4.2.4 · วันที่เผยแพร่:

ไฟล์ตัวติดตั้ง 4.2.3

สถาปัตยกรรมประเภทขอบเขตขนาดไฟล์ดาวน์โหลดSHA256
64 บิต ZIP → พกพา (Portable) — — github.com VirusTotal

ลิงก์และค่า SHA256 มาจากแมนิเฟสต์ชุมชนของ Windows Package Manager โปรดเทียบค่าแฮชของไฟล์ที่ดาวน์โหลดก่อนเปิดใช้งาน

บันทึกประจำรุ่น

https://github.com/leanprover/elan/releases/tag/v4.2.3

โปรแกรมอื่นจาก Lean FRO

ดูทั้งหมด
  • LeanIDE และโปรแกรมเขียนโค้ด · Lean FRO

แท็ก

แชร์