Dafny

cli 4.11.0 ·shell

✓ install reviewed

Verification-aware programming language. Available on Homebrew.

Traffic · last 30 days stale · no recent hits · indexed Sun May 31 · updated Sat Jul 11

total hits 9

actors 2 distinct systems

last hit 20d ago AhrefsBot

Humans

6

top countries 🇸🇬 Singapore · 🇨🇦 Canada · HK

Resources

homepagegithub.com/dafny-lang/dafny/blob/master/README.md ↗

API endpoints

full doc /v1/registry/dafny

install /v1/registry/dafny/install