2025.01.0
LatestMar 31, 2025 · MonAdded to Homebrew Mar 31, 2025 08:23
No separate release notes for this version
Coq Platform
Formal proof management system
CaskEducation & ScienceApple silicon · Intel
From homebrew/cask
30-day installs16#1826 in App
1-year installs196Last 365 days
Latest version2025.01.02 days ago · Oct 7
Download size1.0GBarm64 / x86_64 · dmg
Release cadenceIrregular0 releases in 30 days