coq-platform ☆

« Back to VersTracker

Description:
Formal proof management system

Type: Cask | Latest Version: 2025.01.0,8.20.2025.01@0 | Tracked Since: Dec 17, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: coq formal-verification theorem-proving mathematics proof-assistant

Install: brew install --cask coq-platform

About:
Coq Platform is a comprehensive distribution of the Coq proof assistant, providing a curated set of mathematical libraries and tools. It simplifies the setup process for formal verification projects by bundling the core system with popular community packages. This integrated environment enables developers and researchers to write, check, and share formal proofs efficiently.

Key Features:

Bundled Coq proof assistant with curated libraries
Simplified installation and dependency management
Support for mathematical formalization and verification
Cross-platform compatibility (macOS, Linux, Windows)

Use Cases:

Formal verification of software and hardware systems
Mathematical theorem proving and research

Alternatives:

opam – Opam is a package manager for OCaml that can install Coq, but Coq Platform provides a more integrated, turnkey solution specifically for Coq users.

Version History

Detected	Version	Rev	Change	Commit
Aug 5, 2025 2:16pm	2025.01.0,8.20.2025.01	0	VERSION_BUMP	52fdd76e