Brewly
Cask

Coq Platform

2025.01.0,8.20.2025.01

Formal proof management system

Install

brew install --cask coq-platform

Details

Type
Cask
Tap
homebrew/cask

Sources

Supported platforms

ArchitecturePlatformsVersionDownload
IntelGolden Gate, Tahoe, Sequoia, Sonoma, Ventura, Monterey, Big Sur2023.11.0,8.18.2023.11File
SHA-256cf63fd3031e0593d76431918427591c384591bfabf8fe9dbd385f92c0f0a0065
Apple SiliconGolden Gate, Tahoe, Sequoia, Sonoma, Ventura, Monterey, Big Sur2025.01.0,8.20.2025.01File
SHA-2565bfced11017a61e6a0d71787e2a7a31ffbc09707792d783235caf99d0f41f0d3

Package data

30-day installs
18
90-day installs
41
365-day installs
202
Previous names
coqide

Installation data

Installs
Coq-Platform~8.20~2025.01.app