У спісе 1 версія праграмы dafny, бягучая — 4.11.0. Кожная версія вядзе на ўсталёўшчыкі з сервера распрацоўшчыка.
| Версія | Дата | Памер | Файлы |
|---|---|---|---|
| 4.11.0Апошняя | — | 64-біт ZIP |
dafny: спампаваць старыя версіі
A programming language with a program verifier
- ЛіцэнзіяАдкрыты код
- Версія4.11.0
- ПатрабаванніWindows 10, 11
Самае папулярнае ў катэгорыі «Менеджары пакетаў і абнаўленне»
Паказаць усе-
ChocolateyМенеджары пакетаў і абнаўленне · Chocolatey Software, Inc. -
NuGetМенеджары пакетаў і абнаўленне · Microsoft Corporation -
uvМенеджары пакетаў і абнаўленне · Astral Software Inc. -
Chocolatey GUIМенеджары пакетаў і абнаўленне · Chocolatey -
Conan Package ManagerМенеджары пакетаў і абнаўленне · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseМенеджары пакетаў і абнаўленне · Martí Climent -
UniGetUIМенеджары пакетаў і абнаўленне · Devolutions inc. -
topgradeМенеджары пакетаў і абнаўленне · topgrade-rs - ghostscriptМенеджары пакетаў і абнаўленне
-
rigМенеджары пакетаў і абнаўленне · Posit Software, PBC