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 Beta?
Coq Beta on avoimen lähdekoodin Windows-ohjelma. Sen julkaisija on Coq. 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 19. maaliskuuta 2026. Luettelossa on 3 versiota 14. marraskuuta 2021 alkaen, ja jokaisella on linkit omiin asennustiedostoihinsa. Se tarkoittaa noin 0,7 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 Beta on avoimen lähdekoodin Windows-työkalu (64-bittinen). Järjestelmänvalvojat voivat jakaa sen valvomattomasti.
Onko Coq Beta -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:
770F375E7A4280496E507AA93B31C8EF59E171049023D2B4B2E7A56BD2E9256E· 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 (3) ›3 versiota 4 vuoden aikana · noin 0,7 vuodessa
| Versio | Päivämäärä | Koko | Tiedostot |
|---|---|---|---|
| 2025.08.3Uusin | 19. maaliskuuta 2026 | — | 64-bittinen EXE (NSIS) |
| 2025.1.0 | 10. helmikuuta 2025 | — | 64-bittinen EXE (NSIS) |
| 8.14.0 | 14. marraskuuta 2021 | — | Kaikki suorittimet EXE (NSIS) |
Asennus komentoriviltä
Hiljainen asennus ›winget install --id Coq.CoqPlatform.Beta -eRocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64-UNSIGNED.exe /SAiheeseen liittyvä opas: winget-opas: ohjelmien asennus ja päivitys
Tiedot
- Julkaisija
- Coq
- 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
- 19. maaliskuuta 2026
- Lisätty luetteloon
- 14. marraskuuta 2021
- Versioita luettelossa
- 3
- Päivityksiä vuodessa
- 0,7
- GitHub-tähdet
- 247
- GitHub-haarat
- 56
- Verkkosivusto
- github.com
- winget-tunnus
- Coq.CoqPlatform.Beta
Arviot ja arvostelut
Ei vielä arvosteluja. Anna ensimmäinen arvio.
Usein kysytyt kysymykset
Onko Coq Beta ilmainen?
Kyllä. Coq Beta on avoimen lähdekoodin ohjelmisto, lisenssi CC0-1.0.
Onko Coq Beta -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 Beta 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 Beta -ohjelman asentaa hiljaisesti?
Kyllä. Hiljaisen asennuksen sivulla on tarkka komento jokaiselle asennusohjelmalle.
Toimiiko Coq Beta 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 Beta -ohjelman vanhemman version?
Versiosivulla ovat kaikki 3 versiota 14. marraskuuta 2021 alkaen linkkeineen virallisiin asennustiedostoihin.