C
Coq Platform
🍺 Cask Utilities v2025.01.0,8.20.2025.01
Formal proof management system
Installs (90 Days)
73
Page Views
0
Command Copies
0
Last Updated
yesterday
Installation
Install Coq Platform using Homebrew:
Install in Terminal
brew install --cask coq-platform
Quick Stats
Category Utilities
Type Cask
Homebrew
Related Utilities Apps
python@3.13
PopularInterpreted, interactive, object-oriented programming language
Utilities v3.13.9