← Home
Coq Platform
coq-platform · v2025.01.0,8.20.2025.01
3
6.5
Formal proof management system
brew install --cask coq-platform 16
30-day installs
38
90-day installs
195
365-day installs
Install trend
Trust Score 3/10
✗ Open source (CC0-1.0) +0
✗ Active development +0
✓ Licensed +1
✗ No auto-updates +0
✓ Not deprecated +1
✓ Established (>1yr) +1
✗ Low installs +0
Review
Mar 11, 2026The Coq Platform is a formal proof management system designed for developing and verifying mathematical proofs and software correctness. It offers a comprehensive toolset for proof development, making it invaluable for researchers, educators, and developers in mathematics and computer science.
Manages formal proofs and verifies their correctness using a proof assistant system.
Maturity: Moderately mature with active development and a moderate community following.
Community: No community discussion found yet.
Pros
- + Provides a powerful toolset for formal proof development and verification.
- + Actively maintained with recent updates and contributions.
- + Supports a wide range of mathematical and computational proof tasks.
Cons
- - Lacks auto-update functionality, requiring manual updates.
- - Limited community presence and discussion.