← Home
Coq Platform
coq-platform · v2025.01.0,8.20.2025.01
5
6.5
Formal proof management system
brew install --cask coq-platform 9
30-day installs
44
90-day installs
236
365-day installs
Install trend
Trust Score 5/10
✗ Open source (CC0-1.0) +0
✓ Active development +2
✓ 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.
Similar apps
View all alternatives →Postman
postman
7.0
Collaboration platform for API development
Developer Tools 12.5K installs/mo
vs.
pgAdmin4
pgadmin4
8.0
Administration and development platform for PostgreSQL
Developer Tools 4.2K installs/mo
vs.