Coq Beta
About Coq Beta
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.
Information
| Publisher | Coq |
|---|---|
| Version | 2025.08.3 |
| Package ID | Coq.CoqPlatform.Beta |
| Released date | |
| Website | View Site |
| Source | View Source |