C
Coq Platform
Cask Utilities v2025.01.0,8.20.2025.01
Formal proof management system
Coq Platform
Install 1
Appin
Terminal
brew install --cask coq-platform
Activity
90-Day Installs
70
Last Updated
23 hours ago
Information
Homebrew View Source