# Installer coq-platform avec Homebrew Cask

Consultez les chemins d'installation, exécutables, métadonnées et notes de sécurité de coq-platform pour les workflows d'agents IA.

## installation

```sh
sudo av install cask:coq-platform
```

Commandes d'installation supplémentaires:

### macOS

- Homebrew Cask (100%):

```sh
brew install --cask coq-platform
```

  Preuve: local Homebrew cask metadata

## Faits du paquet

- **Clé du paquet:** cask:coq-platform
- **Gestionnaire de paquets:** Homebrew Cask
- **Page du gestionnaire de paquets:** <https://formulae.brew.sh/cask/coq-platform>
- **Version:** 2025.01.0,8.20.2025.01
- **Résumé source:** Formal proof management system
- **Page d'accueil:** <https://rocq-prover.org/>
- **Dépôt:** <https://github.com/rocq-prover/platform>
- **Docs amont:** <https://rocq-prover.org/>
- **Archive source:** <https://github.com/rocq-prover/platform/releases/download/2025.01.0/coq-Platform-release-2025.01.0-version.8.20.2025.01-MacOS-arm64.dmg>
- **Généré:** 2026-08-04T22:13:35+00:00

## Comportement d'installation

- hook post-installation: non défini
- Bouteille: non disponible

## Version et fraîcheur

- page générée: 2026-08-04
- version du gestionnaire: 2025.01.0,8.20.2025.01
- données locales: OK
- dépôt amont: https://github.com/rocq-prover/platform
- info: No package-manager update timestamp was available.
- info: No cached GitHub release or tag data was available.

## Notes de sécurité

Aucun manifest local de gestion des secrets correspondant n'a été trouvé pour coq-platform. Les métadonnées de paquet restent publiées ici afin que la couverture future dispose d'une URL stable.


## Détails de la base source

- **Source Database:** Homebrew cask API
- **Tap:** homebrew/cask
- **Full Token:** coq-platform
- **Names:** Coq Platform
- **Old Tokens:** coqide
- **Artifacts:** App: 1, Target: 1, Zap: 1
- **Deprecated:** no
- **Disabled:** no


## Liens liés

- [Homebrew Cask packages](https://pkg.so/fr/homebrew-cask-packages/) - Generated from Homebrew Cask package-manager metadata.
- [Homebrew Cask applications](https://pkg.so/fr/homebrew-cask-applications/) - Cask artifact metadata includes an app bundle.

## Sources

- package-page enrichment
- package version freshness
- package relationship graph
- cross-ecosystem install command graph