install

Additional install commands

macOS

Homebrew Caskverified · 100%

brew install --cask coq-platform

local Homebrew cask metadata

overview

Package summary

Formal proof management system

Project links

Commands and aliases

No executable aliases were found in the local package database.

security posture

No protected-tool coverage found yet

No matching local secret-handling manifest was found for coq-platform. Package metadata is still published here so future coverage has a stable package URL.

Install behavior

No Homebrew post-install hook is recorded in formula metadata.
No Homebrew bottle metadata was recorded.

Recommended review

Before unattended agent use, check whether the tool reads plaintext credentials, writes remote state, publishes artifacts, or shells out to plugins.

executables

Installed executables

Command	Kind	Exposure	Note
No executable data was present.

freshness

Version and freshness

These signals separate page generation age, package-manager activity, and upstream release comparison. Version lag is warned only when an evidence URL and comparable versions are present.

page generated2026-08-04

manager version2025.01.0,8.20.2025.01

manager updated

local dataok

upstreamnot checked

latest detectednot detected

https://github.com/rocq-prover/platform

infoNo package-manager update timestamp was available.low confidence
infoNo cached GitHub release or tag data was available.https://github.com/rocq-prover/platformnone confidence

install metadata

Package metadata

Package key	cask:coq-platform
Version	2025.01.0,8.20.2025.01
Package manager	Homebrew Cask
Package manager page	https://formulae.brew.sh/cask/coq-platform
Homepage	https://rocq-prover.org/
Repository	https://github.com/rocq-prover/platform
Upstream docs	https://rocq-prover.org/
Source archive	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
SHA-256	5bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3
Bottle	not recorded
Homebrew post-install	not defined
Service	none declared

registry facts

Source database details

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

package graph

Links come from deterministic package relationships, av.db category and tag curation, ecosystem matches, and package hub membership.

source trail

Generated from repository data

This page is generated by av-web from the private package SQLite artifact built by scripts/generate-pkg-sqlite.py.

Used sources

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

Install coq-platform with Homebrew Cask