Coq Platform
The Coq Platform provides a reliable, cross-platform installation of the Coq proof assistant and a consistent set of packages for research, education, and industry. It supports Windows, macOS, and Linux with binary installers and interactive scripts using opam.
Follow to track new versions in your feed.
Overview
0
Version & Lifecycle
0
Community Notes
No community notes yet
Be the first to as a good question or share deployment tips, customization scripts, command lines, or troubleshooting steps.
Release Notes & Updates
0
Avg cadence: —
Next anticipated release: —
Updates • 0
Help us match vulnerabilities
No vulnerability match yet. Pick the right product:
Looking for matching products…
Don’t see it? Paste a CPE
Also known as
Other names people use for this app — helps search and matching.
CoqPlatformcoq CoqPlatform
Sign in to suggest a name.
Packaging Notes
0
Binary installers for Windows, macOS, and Linux (Snap). Interactive scripts use opam package manager for customization and dependency management.
