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.
Mô tả của nhà phát hành (Tiếng Anh)
Coq Beta là gì?
Coq Beta là phần mềm mã nguồn mở dành cho Windows do Coq phát hành. Ngôn ngữ lập trình: Shell.
Cài đặt và yêu cầu hệ thống
Bộ cài chính thức có sẵn cho Windows 64-bit ở định dạng EXE (NSIS). Quá trình cài đặt yêu cầu quyền quản trị viên. Bộ cài hỗ trợ cài đặt im lặng, không cần thao tác của người dùng.
Cập nhật và lịch sử phiên bản
Phiên bản mới nhất là 2025.08.3, phát hành ngày 19 tháng 3, 2026. ExeAtlas liệt kê 3 phiên bản kể từ 14 tháng 11, 2021, mỗi phiên bản đều có liên kết đến tệp cài đặt riêng. Trung bình có khoảng 0,7 bản phát hành mỗi năm.
Mức độ phổ biến và loại file
Mã nguồn trên GitHub (rocq-prover/platform) có 247 sao.
Mô tả dự án trên GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Ưu điểm / Nhược điểm
Ưu điểm
- Mã nguồn mở: ai cũng có thể xem và tự biên dịch
- Có tài liệu về cài đặt im lặng
Nhược điểm
- Chưa có bản ARM64 gốc
- Cài đặt cần quyền quản trị viên
Tóm lại: Coq Beta là phần mềm Windows mã nguồn mở dành cho máy tính 64-bit. Quản trị viên có thể triển khai tự động, không cần thao tác.
Tải Coq Beta có an toàn không?
- Tệp được cung cấp từ github.com, tên miền của chính nhà phát hành
- Liên kết tải về dùng HTTPS
- Có công bố mã SHA256 để kiểm tra tệp:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· Mở báo cáo VirusTotal cho mã băm này - Liên kết chưa được kiểm tra
- Mã nguồn được công khai
- ExeAtlas không lưu trữ, không đóng gói kèm và không chỉnh sửa bộ cài
Hướng dẫn liên quan: Cách kiểm tra mã SHA256 của file trên Windows
Phiên bản gần đây
Tất cả 3 phiên bản ›3 phiên bản trong 4 năm · khoảng 0,7 bản mỗi năm
| Phiên bản | Ngày | Dung lượng | Tệp |
|---|---|---|---|
| 2025.08.3Mới nhất | 19 tháng 3, 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 10 tháng 2, 2025 | — | 64-bit EXE (NSIS) |
| 8.14.0 | 14 tháng 11, 2021 | — | Mọi kiến trúc CPU EXE (NSIS) |
Cài đặt bằng dòng lệnh
Cài đặt im lặng ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SHướng dẫn liên quan: Cách dùng winget để cài đặt và cập nhật phần mềm
Thông tin
- Nhà phát hành
- Coq
- Giấy phép
- CC0-1.0
- Giá
- Miễn phí
- Mã nguồn
- github.com/rocq-prover/platform
- Ngôn ngữ lập trình
- Shell
- Yêu cầu
- Windows 11 / 10
- Kiến trúc
- 64-bit
- Loại bộ cài
- EXE (NSIS)
- Phiên bản
- 2025.08.3
- Ngày phát hành
- 19 tháng 3, 2026
- Ngày thêm vào danh mục
- 14 tháng 11, 2021
- Số phiên bản
- 3
- Số lần cập nhật / năm
- 0,7
- Sao GitHub
- 247
- Fork trên GitHub
- 56
- Trang chủ
- github.com
- winget ID
- Coq.CoqPlatform.Beta
Đánh giá và nhận xét
Chưa có nhận xét nào. Hãy là người đầu tiên đánh giá.
Câu hỏi thường gặp
Coq Beta có miễn phí không?
Có. Coq Beta là phần mềm mã nguồn mở theo giấy phép CC0-1.0.
Tải Coq Beta có an toàn không?
Tệp được tải từ github.com, tên miền thuộc về nhà phát hành; ExeAtlas không lưu trữ và không chỉnh sửa tệp. Hãy so sánh mã SHA256 của tệp đã tải với mã hiển thị trên trang này, hoặc mở báo cáo VirusTotal cho mã băm đó.
Cài đặt Coq Beta bằng winget như thế nào?
Mở PowerShell hoặc Windows Terminal và chạy lệnh winget hiển thị trên trang này. winget sẽ tải bộ cài chính thức và kiểm tra mã SHA256 trước khi chạy.
Coq Beta có hỗ trợ cài đặt im lặng không?
Có. Trang cài đặt im lặng liệt kê lệnh chính xác cho từng bộ cài.
Coq Beta có chạy trên máy ARM (Windows on Arm) không?
Chưa có bản ARM64; Windows 11 on Arm có thể chạy bản 64-bit thông qua giả lập.
Tải phiên bản cũ của Coq Beta ở đâu?
Trang phiên bản liệt kê toàn bộ 3 phiên bản, từ 14 tháng 11, 2021, kèm liên kết đến tệp cài đặt chính thức.