← all casks
coq-platform
Coq Platform
Formal proof management system
- Version
- v2025.01.0,8.20.2025.01
- Tap
- homebrew/cask
- Auto-updates
- No
- Languages
- —
- Outdated
- No
auto-updateshomepageactiveenabledup-to-date
Install
shell
$ brew install --cask coq-platformFormer tokens
coqide