Her er 1 versioner af dafny, fra til den aktuelle 4.11.0. Hver version linker til udgiverens egne installationsfiler.
| Version | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.11.0Nyeste | — | 64-bit ZIP |
dafny: download ældre versioner
A programming language with a program verifier
- LicensOpen source
- Version4.11.0
- KræverWindows 10, 11
Mest populære i Pakkeadministratorer og opdateringsværktøjer
Se alle-
ChocolateyPakkeadministratorer og opdateringsværktøjer · Chocolatey Software, Inc. -
NuGetPakkeadministratorer og opdateringsværktøjer · Microsoft Corporation -
uvPakkeadministratorer og opdateringsværktøjer · Astral Software Inc. -
Chocolatey GUIPakkeadministratorer og opdateringsværktøjer · Chocolatey -
Conan Package ManagerPakkeadministratorer og opdateringsværktøjer · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleasePakkeadministratorer og opdateringsværktøjer · Martí Climent -
UniGetUIPakkeadministratorer og opdateringsværktøjer · Devolutions inc. -
topgradePakkeadministratorer og opdateringsværktøjer · topgrade-rs - ghostscriptPakkeadministratorer og opdateringsværktøjer
-
rigPakkeadministratorer og opdateringsværktøjer · Posit Software, PBC