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.
Deskripsi dari penerbit (Inggris)
Apa itu Coq?
Coq adalah program Windows open source dari The Coq Team. Program ini ditulis dengan Shell.
Instalasi dan persyaratan sistem
Installer resmi tersedia untuk Windows 64-bit dalam format EXE (NSIS). Proses instalasi memerlukan hak administrator. Installer-nya mendukung instalasi tanpa interaksi (silent install).
Pembaruan dan riwayat versi
Versi terbaru saat ini adalah 2025.08.3, dirilis pada 9 April 2026. Tercatat 5 versi sejak 21 September 2021, masing-masing dengan tautan ke file installer-nya sendiri. Artinya, rata-rata ada sekitar 1,1 rilis per tahun.
Popularitas dan jenis file
Kode sumbernya di GitHub (rocq-prover/platform) mendapat 247 bintang.
Deskripsi proyek di GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Kelebihan / Kekurangan
Kelebihan
- Open source: kodenya bisa diperiksa dan dikompilasi siapa saja
- Instalasi senyap terdokumentasi
Kekurangan
- Tidak ada versi ARM64 native
- Instalasi memerlukan hak administrator
Singkatnya: Coq adalah aplikasi Windows yang open source untuk PC 64-bit. Administrator dapat mendistribusikannya tanpa interaksi pengguna.
Apakah Coq aman diunduh?
- File disediakan oleh github.com, domain milik penerbit
- Tautan download menggunakan HTTPS
- Hash SHA256 tersedia, sehingga file bisa diverifikasi:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Buka laporan VirusTotal untuk hash ini - Tautan belum dicek
- Kode sumbernya terbuka untuk umum
- ExeAtlas tidak menyimpan, membungkus, atau mengubah installer
Panduan terkait: Cara cek hash SHA256 file di Windows
Rilis terakhir
Semua 5 versi ›5 versi dalam 5 tahun · sekitar 1,1 rilis per tahun
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 2025.08.3Terbaru | 9 April 2026 | — | 64-bit EXE (NSIS) |
| 2025.08.2 | 19 Februari 2026 | — | 64-bit EXE (NSIS) |
| 2025.1.0 | 17 Februari 2025 | — | 64-bit EXE (NSIS) |
| 8.14.1 | 28 Januari 2022 | — | Semua prosesor EXE (NSIS) |
| 8.13.2 | 21 September 2021 | — | Semua prosesor EXE (NSIS) |
Instalasi lewat command line
Instalasi senyap ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SPanduan terkait: Cara pakai winget: instal dan update aplikasi
Informasi
- Penerbit
- The Coq Team
- Lisensi
- CC0-1.0
- Harga
- Gratis
- Kode sumber
- github.com/rocq-prover/platform
- Bahasa pemrograman
- Shell
- Persyaratan
- Windows 11 / 10
- Arsitektur
- 64-bit
- Installer
- EXE (NSIS)
- Versi
- 2025.08.3
- Tanggal rilis
- 9 April 2026
- Masuk katalog
- 21 September 2021
- Versi tercatat
- 5
- Pembaruan / tahun
- 1,1
- Bintang GitHub
- 247
- Fork GitHub
- 56
- Situs web
- github.com
- ID winget
- Coq.CoqPlatform
Rating dan ulasan
Belum ada ulasan. Jadilah yang pertama memberi rating.
Pertanyaan yang sering diajukan
Apakah Coq gratis?
Ya. Coq adalah software open source berlisensi CC0-1.0.
Apakah Coq aman diunduh?
File download berasal dari github.com, domain milik penerbit; ExeAtlas tidak menyimpan atau mengubah file tersebut. Cocokkan hash SHA256 file tersebut dengan yang tertera di sini, atau buka laporan VirusTotal untuk hash itu.
Bagaimana cara menginstal Coq dengan winget?
Buka PowerShell atau Windows Terminal, lalu jalankan perintah winget yang tertera di halaman ini. winget mengunduh installer resmi dan memeriksa hash SHA256-nya sebelum menjalankannya.
Apakah Coq bisa diinstal secara senyap (silent install)?
Ya. Halaman instalasi senyap mencantumkan perintah yang tepat untuk setiap installer.
Apakah Coq bisa berjalan di prosesor ARM (Windows on Arm)?
Tidak ada versi ARM64; Windows 11 on Arm dapat menjalankan versi 64-bit melalui emulasi.
Di mana download Coq versi lama?
Halaman versi mencantumkan seluruh 5 versi beserta tautan ke file installer resminya, mundur hingga 21 September 2021.