dafny
⚗️ Formula Utilities v4.11.0
Verification-aware programming language
Installs (90 Days)
215
Page Views
0
Command Copies
0
Last Updated
yesterday
Installation
Install dafny using Homebrew:
Install in Terminal
brew install dafny
Quick Stats
Category Utilities
Type Formula
Homebrew
Related Utilities Apps
python@3.13
PopularInterpreted, interactive, object-oriented programming language
Utilities v3.13.9