The Coq platform is a distribution of the Coq proof assistant together with a selection of Coq libraries. It provides a set of scripts to compile and install OPAM, Coq, Coq libraries and Coq plugins on MacOS, Windows and many Linux distributions in a reliable way with consistent results.
คำอธิบายจากผู้เผยแพร่ (อังกฤษ)
Coq Beta คือโปรแกรมอะไร
Coq Beta เป็นโปรแกรมโอเพนซอร์สสำหรับ Windows เผยแพร่โดย Coq พัฒนาด้วยภาษา Shell
การติดตั้งและความต้องการของระบบ
มีตัวติดตั้งทางการสำหรับ Windows 64 บิต ในรูปแบบ EXE (NSIS) การติดตั้งต้องใช้สิทธิ์ผู้ดูแลระบบ ตัวติดตั้งรองรับการติดตั้งแบบเงียบ (silent install) โดยไม่ต้องตอบคำถามใด ๆ
การอัปเดตและประวัติเวอร์ชัน
เวอร์ชันล่าสุดคือ 2025.08.3 เผยแพร่เมื่อ 19 มีนาคม 2569 มีทั้งหมด 3 เวอร์ชันในรายการ ตั้งแต่ 14 พฤศจิกายน 2564 แต่ละเวอร์ชันลิงก์ไปยังไฟล์ตัวติดตั้งของตัวเอง เฉลี่ยแล้วออกเวอร์ชันใหม่ประมาณปีละ 0.7 ครั้ง
ความนิยมและประเภทไฟล์
ซอร์สโค้ดบน GitHub (rocq-prover/platform) ได้รับ 247 ดาว
คำอธิบายโครงการบน GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- มีเอกสารวิธีติดตั้งแบบเงียบ
ข้อเสีย
- ไม่มีเวอร์ชัน ARM64 แบบเนทีฟ
- การติดตั้งต้องใช้สิทธิ์ผู้ดูแลระบบ
สรุปสั้น ๆ: Coq Beta เป็นเครื่องมือโอเพนซอร์สสำหรับ Windows สำหรับพีซี 64 บิต ผู้ดูแลระบบสามารถติดตั้งแบบอัตโนมัติโดยไม่ต้องมีผู้ใช้โต้ตอบ
ดาวน์โหลด Coq Beta ปลอดภัยไหม
- ไฟล์ให้บริการจาก github.com ซึ่งเป็นโดเมนของผู้เผยแพร่เอง
- ลิงก์ดาวน์โหลดใช้ HTTPS
- มีค่าแฮช SHA256 เผยแพร่ไว้ จึงตรวจสอบไฟล์ได้:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· เปิดรายงาน VirusTotal ของค่าแฮชนี้ - ยังไม่ได้ตรวจสอบลิงก์
- ซอร์สโค้ดเปิดเผยต่อสาธารณะ
- ExeAtlas ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
เวอร์ชันล่าสุด
ทั้งหมด 3 เวอร์ชัน ›3 เวอร์ชันในช่วง 4 ปี · ประมาณปีละ 0.7 ครั้ง
| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 2025.08.3ล่าสุด | 19 มีนาคม 2569 | — | 64 บิต EXE (NSIS) |
| 2025.1.0 | 10 กุมภาพันธ์ 2568 | — | 64 บิต EXE (NSIS) |
| 8.14.0 | 14 พฤศจิกายน 2564 | — | ทุกซีพียู EXE (NSIS) |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /Sคู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
ข้อมูล
- ผู้เผยแพร่
- Coq
- สัญญาอนุญาต
- CC0-1.0
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com/rocq-prover/platform
- เขียนด้วยภาษา
- Shell
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต
- ตัวติดตั้ง
- EXE (NSIS)
- เวอร์ชัน
- 2025.08.3
- วันที่เผยแพร่
- 19 มีนาคม 2569
- เพิ่มเข้าแค็ตตาล็อก
- 14 พฤศจิกายน 2564
- จำนวนเวอร์ชันในรายการ
- 3
- อัปเดต / ปี
- 0.7
- ดาว GitHub
- 247
- GitHub fork
- 56
- เว็บไซต์
- github.com
- winget ID
- Coq.CoqPlatform.Beta
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
คำถามที่พบบ่อย
Coq Beta ใช้ฟรีไหม
ฟรี Coq Beta เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต CC0-1.0
ดาวน์โหลด Coq Beta ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก github.com ซึ่งเป็นของผู้เผยแพร่เอง ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้ คุณสามารถเทียบค่าแฮช SHA256 ของไฟล์กับค่าที่แสดงในหน้านี้ หรือเปิดรายงาน VirusTotal ของค่าแฮชนั้นได้
ติดตั้ง Coq Beta ด้วย winget อย่างไร
เปิด PowerShell หรือ Windows Terminal แล้วรันคำสั่ง winget ที่แสดงในหน้านี้ winget จะดาวน์โหลดตัวติดตั้งทางการและตรวจสอบค่าแฮช SHA256 ก่อนเริ่มติดตั้ง
Coq Beta ติดตั้งแบบเงียบได้ไหม
ได้ หน้าติดตั้งแบบเงียบมีคำสั่งที่ถูกต้องสำหรับตัวติดตั้งแต่ละแบบ
Coq Beta ใช้บน ARM (Windows on Arm) ได้ไหม
ไม่มีเวอร์ชัน ARM64 แต่ Windows 11 on Arm สามารถรันเวอร์ชัน 64 บิต ผ่านการจำลองได้
ดาวน์โหลด Coq Beta เวอร์ชันเก่าได้ที่ไหน
หน้าเวอร์ชันมีรายการครบทั้ง 3 เวอร์ชัน พร้อมลิงก์ไปยังไฟล์ตัวติดตั้งทางการ ย้อนไปถึง 14 พฤศจิกายน 2564