Seznam zajema 1 različico programa dafny; trenutna je 4.11.0. Vsaka vodi do namestitvenih datotek na strežniku izdajatelja.
| Različica | Datum | Velikost | Datoteke |
|---|---|---|---|
| 4.11.0Najnovejša | — | 64-bitno ZIP |
dafny: starejše različice za prenos
A programming language with a program verifier
- LicencaOdprta koda
- Različica4.11.0
- ZahteveWindows 10, 11
Najbolj priljubljeno v kategoriji „Upravitelji paketov in posodabljanje“
Prikaži vse-
ChocolateyUpravitelji paketov in posodabljanje · Chocolatey Software, Inc. -
NuGetUpravitelji paketov in posodabljanje · Microsoft Corporation -
uvUpravitelji paketov in posodabljanje · Astral Software Inc. -
Chocolatey GUIUpravitelji paketov in posodabljanje · Chocolatey -
Conan Package ManagerUpravitelji paketov in posodabljanje · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseUpravitelji paketov in posodabljanje · Martí Climent -
UniGetUIUpravitelji paketov in posodabljanje · Devolutions inc. -
topgradeUpravitelji paketov in posodabljanje · topgrade-rs - ghostscriptUpravitelji paketov in posodabljanje
-
rigUpravitelji paketov in posodabljanje · Posit Software, PBC