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 Beta nedir?
Coq Beta, Coq 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; 19 Mart 2026 tarihinde yayımlandı. 14 Kasım 2021 tarihinden bu yana 3 sürüm listeleniyor; her biri kendi kurulum dosyalarına bağlanıyor. Bu, yılda yaklaşık 0,7 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 Beta, 64 bit bilgisayarlar için açık kaynaklı bir Windows aracı. Sistem yöneticileri soru sormadan dağıtabilir.
Coq Beta 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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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
3 sürümün tümü ›4 yılda 3 sürüm · yılda yaklaşık 0,7 güncelleme
| Sürüm | Tarih | Boyut | Dosyalar |
|---|---|---|---|
| 2025.08.3Güncel | 19 Mart 2026 | — | 64 bit EXE (NSIS) |
| 2025.1.0 | 10 Şubat 2025 | — | 64 bit EXE (NSIS) |
| 8.14.0 | 14 Kasım 2021 | — | Tüm işlemciler EXE (NSIS) |
Komut satırından kurulum
Sessiz kurulum ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /Sİlgili rehber: winget nasıl kullanılır: program kurma ve güncelleme
Bilgiler
- Yayıncı
- Coq
- 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
- 19 Mart 2026
- Kataloğa eklenme
- 14 Kasım 2021
- Kayıtlı sürüm
- 3
- Yıllık güncelleme
- 0,7
- GitHub yıldızı
- 247
- GitHub fork
- 56
- Resmî site
- github.com
- winget kimliği
- Coq.CoqPlatform.Beta
Puanlar ve yorumlar
Henüz yorum yok. İlk puanı siz verin.
Sıkça sorulan sorular
Coq Beta ücretsiz mi?
Evet. Coq Beta açık kaynaklı bir programdır (CC0-1.0 lisansı).
Coq Beta 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 Beta 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 Beta sessiz kurulabilir mi?
Evet. Sessiz kurulum sayfasında her kurulum dosyası için tam komut var.
Coq Beta 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 Beta eski sürümü nereden indirilir?
Sürümler sayfasında 3 sürümün tamamı (14 Kasım 2021 tarihine kadar) resmî kurulum dosyası bağlantılarıyla listeleniyor.