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 คือโปรแกรมอะไร
Coq เป็นโปรแกรมโอเพนซอร์สสำหรับ Windows เผยแพร่โดย The Coq Team พัฒนาด้วยภาษา Shell
การติดตั้งและความต้องการของระบบ
มีตัวติดตั้งทางการสำหรับ Windows 64 บิต ในรูปแบบ EXE (NSIS) การติดตั้งต้องใช้สิทธิ์ผู้ดูแลระบบ ตัวติดตั้งรองรับการติดตั้งแบบเงียบ (silent install) โดยไม่ต้องตอบคำถามใด ๆ
การอัปเดตและประวัติเวอร์ชัน
เวอร์ชันล่าสุดคือ 2025.08.3 เผยแพร่เมื่อ 9 เมษายน 2569 มีทั้งหมด 5 เวอร์ชันในรายการ ตั้งแต่ 21 กันยายน 2564 แต่ละเวอร์ชันลิงก์ไปยังไฟล์ตัวติดตั้งของตัวเอง เฉลี่ยแล้วออกเวอร์ชันใหม่ประมาณปีละ 1.1 ครั้ง
ความนิยมและประเภทไฟล์
ซอร์สโค้ดบน GitHub (rocq-prover/platform) ได้รับ 247 ดาว
คำอธิบายโครงการบน GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
ข้อดี / ข้อเสีย
ข้อดี
- โอเพนซอร์ส ใครก็ตรวจสอบและคอมไพล์โค้ดเองได้
- มีเอกสารวิธีติดตั้งแบบเงียบ
ข้อเสีย
- ไม่มีเวอร์ชัน ARM64 แบบเนทีฟ
- การติดตั้งต้องใช้สิทธิ์ผู้ดูแลระบบ
สรุปสั้น ๆ: Coq เป็นเครื่องมือโอเพนซอร์สสำหรับ Windows สำหรับพีซี 64 บิต ผู้ดูแลระบบสามารถติดตั้งแบบอัตโนมัติโดยไม่ต้องมีผู้ใช้โต้ตอบ
ดาวน์โหลด Coq ปลอดภัยไหม
- ไฟล์ให้บริการจาก github.com ซึ่งเป็นโดเมนของผู้เผยแพร่เอง
- ลิงก์ดาวน์โหลดใช้ HTTPS
- มีค่าแฮช SHA256 เผยแพร่ไว้ จึงตรวจสอบไฟล์ได้:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· เปิดรายงาน VirusTotal ของค่าแฮชนี้ - ยังไม่ได้ตรวจสอบลิงก์
- ซอร์สโค้ดเปิดเผยต่อสาธารณะ
- ExeAtlas ไม่เก็บ ไม่ห่อหุ้ม และไม่แก้ไขตัวติดตั้ง
คู่มือที่เกี่ยวข้อง: วิธีตรวจค่าแฮช SHA256 ของไฟล์บน Windows
เวอร์ชันล่าสุด
ทั้งหมด 5 เวอร์ชัน ›5 เวอร์ชันในช่วง 5 ปี · ประมาณปีละ 1.1 ครั้ง
| เวอร์ชัน | วันที่ | ขนาด | ไฟล์ |
|---|---|---|---|
| 2025.08.3ล่าสุด | 9 เมษายน 2569 | — | 64 บิต EXE (NSIS) |
| 2025.08.2 | 19 กุมภาพันธ์ 2569 | — | 64 บิต EXE (NSIS) |
| 2025.1.0 | 17 กุมภาพันธ์ 2568 | — | 64 บิต EXE (NSIS) |
| 8.14.1 | 28 มกราคม 2565 | — | ทุกซีพียู EXE (NSIS) |
| 8.13.2 | 21 กันยายน 2564 | — | ทุกซีพียู EXE (NSIS) |
ติดตั้งผ่านบรรทัดคำสั่ง
ติดตั้งแบบเงียบ ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /Sคู่มือที่เกี่ยวข้อง: วิธีใช้ winget ติดตั้งและอัปเดตโปรแกรม
ข้อมูล
- ผู้เผยแพร่
- The Coq Team
- สัญญาอนุญาต
- CC0-1.0
- ราคา
- ฟรี
- ซอร์สโค้ด
- github.com/rocq-prover/platform
- เขียนด้วยภาษา
- Shell
- ระบบที่ต้องการ
- Windows 11 / 10
- สถาปัตยกรรม
- 64 บิต
- ตัวติดตั้ง
- EXE (NSIS)
- เวอร์ชัน
- 2025.08.3
- วันที่เผยแพร่
- 9 เมษายน 2569
- เพิ่มเข้าแค็ตตาล็อก
- 21 กันยายน 2564
- จำนวนเวอร์ชันในรายการ
- 5
- อัปเดต / ปี
- 1.1
- ดาว GitHub
- 247
- GitHub fork
- 56
- เว็บไซต์
- github.com
- winget ID
- Coq.CoqPlatform
คะแนนและรีวิว
ยังไม่มีรีวิว ร่วมให้คะแนนเป็นคนแรก
คำถามที่พบบ่อย
Coq ใช้ฟรีไหม
ฟรี Coq เป็นซอฟต์แวร์โอเพนซอร์ส ภายใต้สัญญาอนุญาต CC0-1.0
ดาวน์โหลด Coq ปลอดภัยไหม
ไฟล์ดาวน์โหลดมาจาก github.com ซึ่งเป็นของผู้เผยแพร่เอง ExeAtlas ไม่ได้เก็บหรือแก้ไขไฟล์นี้ คุณสามารถเทียบค่าแฮช SHA256 ของไฟล์กับค่าที่แสดงในหน้านี้ หรือเปิดรายงาน VirusTotal ของค่าแฮชนั้นได้
ติดตั้ง Coq ด้วย winget อย่างไร
เปิด PowerShell หรือ Windows Terminal แล้วรันคำสั่ง winget ที่แสดงในหน้านี้ winget จะดาวน์โหลดตัวติดตั้งทางการและตรวจสอบค่าแฮช SHA256 ก่อนเริ่มติดตั้ง
Coq ติดตั้งแบบเงียบได้ไหม
ได้ หน้าติดตั้งแบบเงียบมีคำสั่งที่ถูกต้องสำหรับตัวติดตั้งแต่ละแบบ
Coq ใช้บน ARM (Windows on Arm) ได้ไหม
ไม่มีเวอร์ชัน ARM64 แต่ Windows 11 on Arm สามารถรันเวอร์ชัน 64 บิต ผ่านการจำลองได้
ดาวน์โหลด Coq เวอร์ชันเก่าได้ที่ไหน
หน้าเวอร์ชันมีรายการครบทั้ง 5 เวอร์ชัน พร้อมลิงก์ไปยังไฟล์ตัวติดตั้งทางการ ย้อนไปถึง 21 กันยายน 2564