Aquí hi ha 1 versió de dafny, des de fins a l’actual, 4.11.0. Cadascuna enllaça amb els instal·ladors del mateix desenvolupador.
| Versió | Data | Mida | Fitxers |
|---|---|---|---|
| 4.11.0Darrera versió | — | 64 bits ZIP |
dafny: baixar versions anteriors
A programming language with a program verifier
- LlicènciaCodi obert
- Versió4.11.0
- RequisitsWindows 10, 11
El més popular a Gestors de paquets i actualitzadors
Mostra-ho tot-
ChocolateyGestors de paquets i actualitzadors · Chocolatey Software, Inc. -
NuGetGestors de paquets i actualitzadors · Microsoft Corporation -
uvGestors de paquets i actualitzadors · Astral Software Inc. -
Chocolatey GUIGestors de paquets i actualitzadors · Chocolatey -
Conan Package ManagerGestors de paquets i actualitzadors · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseGestors de paquets i actualitzadors · Martí Climent -
UniGetUIGestors de paquets i actualitzadors · Devolutions inc. -
topgradeGestors de paquets i actualitzadors · topgrade-rs - ghostscriptGestors de paquets i actualitzadors
-
rigGestors de paquets i actualitzadors · Posit Software, PBC