Aici sunt listate 1 versiune ale programului dafny, de la până la versiunea actuală, 4.11.0. Fiecare trimite la instalatoarele oficiale ale dezvoltatorului.
| Versiune | Data | Dimensiune | Fișiere |
|---|---|---|---|
| 4.11.0Cea mai nouă | — | 64 de biți ZIP |
dafny: versiuni mai vechi, descărcare
A programming language with a program verifier
- LicențăOpen source
- Versiune4.11.0
- CerințeWindows 10, 11
Cele mai populare în Manageri de pachete și actualizare
Vezi tot-
ChocolateyManageri de pachete și actualizare · Chocolatey Software, Inc. -
NuGetManageri de pachete și actualizare · Microsoft Corporation -
uvManageri de pachete și actualizare · Astral Software Inc. -
Chocolatey GUIManageri de pachete și actualizare · Chocolatey -
Conan Package ManagerManageri de pachete și actualizare · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseManageri de pachete și actualizare · Martí Climent -
UniGetUIManageri de pachete și actualizare · Devolutions inc. -
topgradeManageri de pachete și actualizare · topgrade-rs - ghostscriptManageri de pachete și actualizare
-
rigManageri de pachete și actualizare · Posit Software, PBC