Her finner du 1 versjon av dafny, fra til gjeldende 4.11.0. Hver av dem lenker til utgiverens egne installasjonsfiler.
| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.11.0Nyeste | — | 64-bit ZIP |
dafny: eldre versjoner og versjonshistorikk
A programming language with a program verifier
- LisensÅpen kildekode
- Versjon4.11.0
- KravWindows 10, 11
Mest populær i Pakkebehandlere og oppdaterere
Se alle-
ChocolateyPakkebehandlere og oppdaterere · Chocolatey Software, Inc. -
NuGetPakkebehandlere og oppdaterere · Microsoft Corporation -
uvPakkebehandlere og oppdaterere · Astral Software Inc. -
Chocolatey GUIPakkebehandlere og oppdaterere · Chocolatey -
Conan Package ManagerPakkebehandlere og oppdaterere · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleasePakkebehandlere og oppdaterere · Martí Climent -
UniGetUIPakkebehandlere og oppdaterere · Devolutions inc. -
topgradePakkebehandlere og oppdaterere · topgrade-rs - ghostscriptPakkebehandlere og oppdaterere
-
rigPakkebehandlere og oppdaterere · Posit Software, PBC