Εδώ καταγράφονται 1 έκδοση του dafny, από τις έως την τρέχουσα 4.11.0. Κάθε έκδοση οδηγεί στα αρχεία εγκατάστασης του ίδιου του εκδότη.
| Έκδοση | Ημερομηνία | Μέγεθος | Αρχεία |
|---|---|---|---|
| 4.11.0Τελευταία | — | 64-bit 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