Estão listadas 1 versões de dafny, de até a atual, 4.11.0. Cada uma aponta para os instaladores do próprio desenvolvedor.
| Versão | Data | Tamanho | Arquivos |
|---|---|---|---|
| 4.11.0Última versão | — | 64 bits ZIP |
dafny: baixar versões antigas
A programming language with a program verifier
- LicençaCódigo aberto
- Versão4.11.0
- RequisitosWindows 10, 11
Mais popular em Gerenciadores de pacotes e atualizadores
Ver tudo-
ChocolateyGerenciadores de pacotes e atualizadores · Chocolatey Software, Inc. -
NuGetGerenciadores de pacotes e atualizadores · Microsoft Corporation -
uvGerenciadores de pacotes e atualizadores · Astral Software Inc. -
Chocolatey GUIGerenciadores de pacotes e atualizadores · Chocolatey -
Conan Package ManagerGerenciadores de pacotes e atualizadores · JFrog -
UniGetUI (formerly WingetUI) - Pre-ReleaseGerenciadores de pacotes e atualizadores · Martí Climent -
UniGetUIGerenciadores de pacotes e atualizadores · Devolutions inc. -
topgradeGerenciadores de pacotes e atualizadores · topgrade-rs - ghostscriptGerenciadores de pacotes e atualizadores
-
rigGerenciadores de pacotes e atualizadores · Posit Software, PBC