1 versions of dafny are listed here, from to the current 4.11.0. Each one links to the publisher’s own installer files.
| Version | Date | Size | Files |
|---|---|---|---|
| 4.11.0Latest | — | 64-bit ZIP |
dafny: all versions and old releases
A programming language with a program verifier
- LicenceOpen source
- Version4.11.0
- RequiresWindows 10, 11
Most popular in Package managers & updaters
See all-
ChocolateyChocolatey is The Package Manager for Windows. It was designed to be a decentralized framework for quickly installing applications and tools that you need. It is built on the NuGet infrastructure and uses PowerShell as its focus for delivering packages. -
NuGetThe package manager for .NET -
uvAn extremely fast Python package and project manager, written in Rust. -
Chocolatey GUIA delicious GUI for Chocolatey -
Conan Package ManagerAn open source, decentralized C/C++ package manager, to automate building and sharing of packages. -
UniGetUI (formerly WingetUI) - Pre-ReleaseA better UI for your package managers -
UniGetUIThe Graphical Interface for your package managers. -
topgradeDetects which tools you use and runs the appropriate commands to update them. - ghostscriptAn interpreter for the PostScript language and for PDF
-
rigThe R Installation Manager