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.
Description de l’éditeur (anglais)
Coq : présentation
Coq est un logiciel open source pour Windows édité par The Coq Team. Il est développé en Shell.
Installation et configuration requise
Des installateurs officiels existent pour Windows 64 bits, au format EXE (NSIS). L’installation demande des droits d’administrateur. L’installateur accepte une installation silencieuse, sans aucune intervention.
Mises à jour et historique des versions
La version actuelle est la 2025.08.3, sortie le 9 avril 2026. 5 versions sont répertoriées depuis le 21 septembre 2021, chacune avec ses propres fichiers d’installation. Cela représente environ 1,1 versions par an.
Popularité et types de fichiers
Le code source publié sur GitHub (rocq-prover/platform) compte 247 étoiles.
Description du projet sur GitHub: “Multi platform setup for Rocq, Rocq libraries and tools”
Points forts / Points faibles
Points forts
- Open source : chacun peut examiner et compiler le code
- Installation silencieuse documentée
Points faibles
- Pas de version ARM64 native
- L’installation exige des droits d’administrateur
En résumé: Coq est un logiciel open source pour Windows, proposé pour les PC 64 bits. Les administrateurs peuvent le déployer sans intervention.
Coq : le téléchargement est-il sûr ?
- Le fichier est servi par github.com, le domaine de l’éditeur
- Le lien de téléchargement utilise HTTPS
- Une empreinte SHA256 est publiée : le fichier peut être vérifié:
86AABC0D422CF6A6662EC1C634B8574EB2505141FC6DAA31A9CC4D490EA4E43D· Ouvrir le rapport VirusTotal de cette empreinte - Le lien n’a pas encore été vérifié
- Le code source est public
- ExeAtlas n’héberge, n’emballe ni ne modifie aucun installateur
Guide associé: Vérifier l’empreinte SHA256 d’un fichier sous Windows
Versions récentes
Toutes les versions (5) ›5 versions en 5 ans · environ 1,1 par an
| Version | Date | Taille | Fichiers |
|---|---|---|---|
| 2025.08.3Dernière | 9 avril 2026 | — | 64 bits EXE (NSIS) |
| 2025.08.2 | 19 février 2026 | — | 64 bits EXE (NSIS) |
| 2025.1.0 | 17 février 2025 | — | 64 bits EXE (NSIS) |
| 8.14.1 | 28 janvier 2022 | — | Tous processeurs EXE (NSIS) |
| 8.13.2 | 21 septembre 2021 | — | Tous processeurs EXE (NSIS) |
Installer en ligne de commande
Installation silencieuse ›winget install --id Coq.CoqPlatform -esigned_Rocq-Platform-release-2025.08.3-version.9.0.2025.08-Windows-x86_64.exe /SGuide associé: Utiliser winget : installer et mettre à jour
Informations
- Éditeur
- The Coq Team
- Licence
- CC0-1.0
- Prix
- Gratuit
- Code source
- github.com/rocq-prover/platform
- Langage
- Shell
- Configuration requise
- Windows 11 / 10
- Architecture
- 64 bits
- Installateur
- EXE (NSIS)
- Version
- 2025.08.3
- Date de sortie
- 9 avril 2026
- Ajouté au catalogue
- 21 septembre 2021
- Versions répertoriées
- 5
- Mises à jour par an
- 1,1
- Étoiles GitHub
- 247
- Forks GitHub
- 56
- Site officiel
- github.com
- Identifiant winget
- Coq.CoqPlatform
Notes et avis
Aucun avis pour l’instant. Soyez le premier à noter ce logiciel.
Questions fréquentes
Coq est-il gratuit ?
Oui. Coq est un logiciel open source distribué sous licence CC0-1.0.
Coq : le téléchargement est-il sûr ?
Le fichier est servi par github.com, un domaine qui appartient à l’éditeur ; ExeAtlas n’héberge pas le fichier et ne le modifie pas. Comparez son empreinte SHA256 avec celle affichée ici, ou ouvrez le rapport VirusTotal de cette empreinte.
Comment installer Coq avec winget ?
Ouvrez PowerShell ou le Terminal Windows et exécutez la commande winget indiquée sur cette page. winget télécharge l’installateur officiel et vérifie son empreinte SHA256 avant de le lancer.
Peut-on installer Coq en mode silencieux ?
Oui. La page consacrée à l’installation silencieuse donne la commande exacte pour chaque installateur.
Coq fonctionne-t-il sur ARM (Windows on Arm) ?
Il n’existe pas de version ARM64 ; Windows 11 sur Arm peut exécuter la version 64 bits par émulation.
Où télécharger une ancienne version de Coq ?
La page des versions répertorie les 5 versions avec les liens vers leurs fichiers d’installation officiels, jusqu’à celle du 21 septembre 2021.