# coq-platform mit Homebrew Cask installieren

Prüfe Installationswege, Executables, Metadaten und Sicherheitshinweise für coq-platform in AI-Agent-Workflows.

## Installation

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

Weitere Installationsbefehle:

### macOS

- Homebrew Cask (100%):

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

  Evidenz: local Homebrew cask metadata

## Paketfakten

- **Paketschlüssel:** cask:coq-platform
- **Paketmanager:** Homebrew Cask
- **Paketmanager-Seite:** <https://formulae.brew.sh/cask/coq-platform>
- **Version:** 2025.01.0,8.20.2025.01
- **Quellzusammenfassung:** Formal proof management system
- **Homepage:** <https://rocq-prover.org/>
- **Repository:** <https://github.com/rocq-prover/platform>
- **Upstream-Dokumentation:** <https://rocq-prover.org/>
- **Quellarchiv:** <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>
- **Generiert:** 2026-08-04T22:13:35+00:00

## Installationsverhalten

- Post-install-Hook: nicht definiert
- Bottle: nicht verfügbar

## Version und Aktualität

- Seite generiert: 2026-08-04
- Manager-Version: 2025.01.0,8.20.2025.01
- lokale Daten: OK
- Upstream-Repository: https://github.com/rocq-prover/platform
- Info: No package-manager update timestamp was available.
- Info: No cached GitHub release or tag data was available.

## Sicherheitshinweise

Für coq-platform wurde kein passendes lokales Secret-Handling-Manifest gefunden. Paketmetadaten bleiben hier veröffentlicht, damit künftige Abdeckung eine stabile Paket-URL hat.


## Details aus der Quelldatenbank

- **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


## Verwandte Links

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

## Quellen

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