Coq Platform
Formal proof management system
CaskApple silicon · Intel
From homebrew/cask
30-day installs16#1782 in App
1-year installs196Last 365 days
Latest version2025.01.015 hours ago · Oct 7
Download size1.0GBarm64 / x86_64 · dmg
Release cadenceIrregular0 releases in 30 days
About
Formal proof management system
New What’s new in 2025.01.0 From Homebrew commits
This release has no separate notes.