rocq
Formula Utilities v9.1.1
Proof assistant for higher-order logic
Install 1
App in
Terminal
$
brew install 'rocq'
Dependencies
Build Dependencies
Install Statistics 38.5% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 80 | 390 | 1.6K |
| Avg Daily Installs | 3 | 4 | 4 |