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.
Julkaisijan kuvaus (englanti)
Mikä on Coq?
Coq on avoimen lähdekoodin Windows-ohjelma. Sen julkaisija on The Coq Team. Ohjelmointikieli: Shell.
Asennus ja järjestelmävaatimukset
Viralliset asennusohjelmat ovat saatavilla seuraaville: 64-bittinen, muodossa EXE (NSIS). Asennus vaatii järjestelmänvalvojan oikeudet. Asennusohjelma tukee valvomatonta asennusta ilman kysymyksiä.
Päivitykset ja versiohistoria
Uusin versio on 2025.08.3, julkaistu 9. huhtikuuta 2026. Luettelossa on 5 versiota 21. syyskuuta 2021 alkaen, ja jokaisella on linkit omiin asennustiedostoihinsa. Se tarkoittaa noin 1,1 julkaisua vuodessa.
Suosio ja tiedostotyypit
Lähdekoodilla GitHubissa (rocq-prover/platform) on 247 tähteä.
Projektin kuvaus GitHubissa: “Multi platform setup for Rocq, Rocq libraries and tools”
Plussat / Miinukset
Plussat
- Avoin lähdekoodi: kuka tahansa voi tarkastella koodia ja kääntää sen itse
- Dokumentoitu hiljainen asennus
Miinukset
- Ei natiivia ARM64-versiota
- Asennus vaatii järjestelmänvalvojan oikeudet
Lyhyesti: Coq on avoimen lähdekoodin Windows-työkalu (64-bittinen). Järjestelmänvalvojat voivat jakaa sen valvomattomasti.
Onko Coq-ohjelman lataaminen turvallista?
- Tiedoston jakelee github.com, joka on julkaisijan oma verkkotunnus
- Latauslinkki käyttää HTTPS-yhteyttä
- SHA256-tiiviste on julkaistu, joten tiedoston voi tarkistaa:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Avaa tämän tiivisteen VirusTotal-raportti - Linkkiä ei ole vielä tarkistettu
- Lähdekoodi on julkinen
- ExeAtlas ei säilytä, kääri eikä muokkaa asennusohjelmia
Aiheeseen liittyvä opas: Näin tarkistat tiedoston SHA256-tiivisteen Windowsissa
Viimeisimmät versiot
Kaikki versiot (5) ›5 versiota 5 vuoden aikana · noin 1,1 vuodessa
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 2025.08.3Uusin | 9. huhtikuuta 2026 | — | 64-bittinen EXE (NSIS) |
| 2025.08.2 | 19. helmikuuta 2026 | — | 64-bittinen EXE (NSIS) |
| 2025.1.0 | 17. helmikuuta 2025 | — | 64-bittinen EXE (NSIS) |
| 8.14.1 | 28. tammikuuta 2022 | — | Kaikki suorittimet EXE (NSIS) |
| 8.13.2 | 21. syyskuuta 2021 | — | Kaikki suorittimet EXE (NSIS) |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SAiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Tiedot
- Julkaisija
- The Coq Team
- Lisenssi
- CC0-1.0
- Hinta
- Ilmainen
- Lähdekoodi
- github.com/rocq-prover/platform
- Ohjelmointikieli
- Shell
- Vaatimukset
- Windows 11 / 10
- Arkkitehtuuri
- 64-bittinen
- Asennusohjelma
- EXE (NSIS)
- Versio
- 2025.08.3
- Julkaistu
- 9. huhtikuuta 2026
- Lisätty luetteloon
- 21. syyskuuta 2021
- Versioita luettelossa
- 5
- Päivityksiä vuodessa
- 1,1
- GitHub-tähdet
- 247
- GitHub-haarat
- 56
- Verkkosivusto
- github.com
- winget-tunnus
- Coq.CoqPlatform
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Usein kysytyt kysymykset
Onko Coq ilmainen?
Kyllä. Coq on avoimen lähdekoodin ohjelmisto, lisenssi CC0-1.0.
Onko Coq-ohjelman lataaminen turvallista?
Tiedosto ladataan osoitteesta github.com, joka kuuluu julkaisijalle; ExeAtlas ei säilytä eikä muuta tiedostoa. Vertaa ladatun tiedoston SHA256-tiivistettä tällä sivulla näkyvään tai avaa tiivisteen VirusTotal-raportti.
Miten Coq asennetaan wingetillä?
Avaa PowerShell tai Windows Terminal ja suorita tällä sivulla näkyvä winget-komento. winget lataa virallisen asennusohjelman ja tarkistaa sen SHA256-tiivisteen ennen suorittamista.
Voiko Coq-ohjelman asentaa hiljaisesti?
Kyllä. Hiljaisen asennuksen sivulla on tarkka komento jokaiselle asennusohjelmalle.
Toimiiko Coq ARM-koneissa (Windows on Arm)?
ARM64-versiota ei ole; Windows 11 on Arm voi ajaa saatavilla olevan version (64-bittinen) emuloituna.
Mistä voi ladata Coq-ohjelman vanhemman version?
Versiosivulla ovat kaikki 5 versiota 21. syyskuuta 2021 alkaen linkkeineen virallisiin asennustiedostoihin.