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.
Yayıncının açıklaması (İngilizce)
Coq nedir?
Coq, The Coq Team tarafından yayımlanan açık kaynaklı bir Windows programıdır. Programlama dili: Shell.
Kurulum ve gereksinimler
Resmî kurulum dosyaları 64 bit Windows için EXE (NSIS) biçiminde sunuluyor. Kurulum yönetici izni ister. Kurulum dosyası soru sormadan (sessiz) kurulumu destekliyor.
Güncellemeler ve sürüm geçmişi
Güncel sürüm 2025.08.3; 9 Nisan 2026 tarihinde yayımlandı. 21 Eylül 2021 tarihinden bu yana 5 sürüm listeleniyor; her biri kendi kurulum dosyalarına bağlanıyor. Bu, yılda yaklaşık 1,1 güncelleme demek.
Popülerlik ve dosya türleri
GitHub'daki kaynak kodu (rocq-prover/platform) 247 yıldız almış.
GitHub’daki proje açıklaması: “Multi platform setup for Rocq, Rocq libraries and tools”
Artılar / Eksiler
Artılar
- Açık kaynak: kodu herkes inceleyebilir ve derleyebilir
- Belgelenmiş sessiz kurulum
Eksiler
- Yerel ARM64 sürümü yok
- Kurulum yönetici izni istiyor
Kısaca: Coq, 64 bit bilgisayarlar için açık kaynaklı bir Windows aracı. Sistem yöneticileri soru sormadan dağıtabilir.
Coq indirmek güvenli mi?
- Dosya yayıncının kendi alan adından (github.com) geliyor
- İndirme bağlantısı HTTPS kullanıyor
- SHA256 değeri yayımlanmış; dosyayı doğrulayabilirsiniz:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Bu hash için VirusTotal raporunu açın - Bağlantı henüz kontrol edilmedi
- Kaynak kodu herkese açık
- ExeAtlas kurulum dosyalarını barındırmaz, sarmalamaz, değiştirmez
İlgili rehber: Windows’ta bir dosyanın SHA256 özeti nasıl doğrulanır
Son sürümler
5 sürümün tümü ›5 yılda 5 sürüm · yılda yaklaşık 1,1 güncelleme
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 2025.08.3Güncel | 9 Nisan 2026 | — | 64 bit EXE (NSIS) |
| 2025.08.2 | 19 Şubat 2026 | — | 64 bit EXE (NSIS) |
| 2025.1.0 | 17 Şubat 2025 | — | 64 bit EXE (NSIS) |
| 8.14.1 | 28 Ocak 2022 | — | Tüm işlemciler EXE (NSIS) |
| 8.13.2 | 21 Eylül 2021 | — | Tüm işlemciler EXE (NSIS) |
Komut satırından kurulum
Sessiz kurulum ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /Sİlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Bilgiler
- Yayıncı
- The Coq Team
- Lisans
- CC0-1.0
- Fiyat
- Ücretsiz
- Kaynak kodu
- github.com/rocq-prover/platform
- Yazıldığı dil
- Shell
- Gereksinim
- Windows 11 / 10
- Mimari
- 64 bit
- Kurulum türü
- EXE (NSIS)
- Sürüm
- 2025.08.3
- Çıkış tarihi
- 9 Nisan 2026
- Kataloğa eklenme
- 21 Eylül 2021
- Kayıtlı sürüm
- 5
- Yıllık güncelleme
- 1,1
- GitHub yıldızı
- 247
- GitHub fork
- 56
- Resmî site
- github.com
- winget kimliği
- Coq.CoqPlatform
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
Sıkça sorulan sorular
Coq ücretsiz mi?
Evet. Coq açık kaynaklı bir programdır (CC0-1.0 lisansı).
Coq indirmek güvenli mi?
İndirme github.com adresinden gelir; bu adres yayıncıya ait. ExeAtlas dosyayı barındırmaz ve değiştirmez. İndirdiğiniz dosyanın SHA256 değerini burada gösterilenle karşılaştırabilir ya da bu hash için VirusTotal raporunu açabilirsiniz.
Coq winget ile nasıl kurulur?
PowerShell ya da Windows Terminal açıp bu sayfadaki winget komutunu çalıştırın. winget resmî kurulum dosyasını indirir ve çalıştırmadan önce SHA256 değerini doğrular.
Coq sessiz kurulabilir mi?
Evet. Sessiz kurulum sayfasında her kurulum dosyası için tam komut var.
Coq ARM işlemcide (Windows on Arm) çalışır mı?
ARM64 sürümü yok; Windows 11 on Arm, 64 bit sürümünü öykünmeyle çalıştırabilir.
Coq eski sürümü nereden indirilir?
Sürümler sayfasında 5 sürümün tamamı (21 Eylül 2021 tarihine kadar) resmî kurulum dosyası bağlantılarıyla listeleniyor.