dafny
Formula Utilities v4.11.0
Verification-aware programming language
Install 1
App in
Terminal
$
brew install 'dafny'
Dependencies
Build Dependencies
Install Statistics 15.6% vs 90d
Install activity across time periods
| Metric | 30 Days | 90 Days | 1 Year |
|---|---|---|---|
| Total Installs | 42 | 109 | 511 |
| Avg Daily Installs | 1 | 1 | 1 |