The Dafny icon represents the Dafny programming language, a verification-ready imperative programming language.
Usage, downloads, licensing, and more