Tersedia 1 versi dafny, mulai dari hingga versi terbaru 4.11.0. Setiap versi tertaut ke file installer milik penerbit.
| Versi | Tanggal | Ukuran | File |
|---|---|---|---|
| 4.11.0Terbaru | — | 64-bit ZIP |
Download dafny versi lama dan semua versi
A programming language with a program verifier
- LisensiOpen source
- Versi4.11.0
- PersyaratanWindows 10, 11
Terpopuler di Package manager & updater
Lihat semua-
ChocolateyPackage manager & updater · Chocolatey Software, Inc. -
NuGetPackage manager & updater · Microsoft Corporation -
uvPackage manager & updater · Astral Software Inc. -
Chocolatey GUIPackage manager & updater · Chocolatey -
Conan Package ManagerPackage manager & updater · JFrog -
ghostscriptPackage manager & updater -
UniGetUIPackage manager & updater · Devolutions inc. -
flutterPackage manager & updater -
sassPackage manager & updater -
topgradePackage manager & updater · topgrade-rs