A programming language with a program verifier
Väljaandja kirjeldus (inglise)
Mis on dafny?
dafny on avatud lähtekoodiga Windowsi programm kategooriast „Paketihaldurid ja uuendajad“.
Paigaldamine ja nõuded
Ametlikud paigaldusfailid on olemas järgmistele arhitektuuridele: 64-bitine; vorming Portatiivne. Programm töötab ilma paigaldamata (portatiivne).
Plussid / Miinused
Plussid
- Avatud lähtekood: koodi saab igaüks üle vaadata ja ise kompileerida
- Portatiivne: töötab ilma paigaldamata
Miinused
- Natiivne ARM64-versioon puudub
Kokkuvõttes: dafny on avatud lähtekoodiga Windowsi tööriist kategooriast „Paketihaldurid ja uuendajad“ (64-bitine).
Kas programmi dafny allalaadimine on ohutu?
- Faili jagab github.com; kontrolli, et see on väljaandja ametlik peegelsait
- Allalaadimislink kasutab HTTPS-i
- SHA256-räsi on avaldatud, nii et faili saab kontrollida:
3653F05A111CA21E234709EA7B25CE96083FD6C6F10484256BA54110DBC0654D· Ava selle räsi VirusTotali aruanne - Linki pole veel kontrollitud
- Lähtekood on avalik
- ExeAtlas ei majuta, ümbrista ega muuda paigaldusfaile
Seotud juhend: Kuidas kontrollida faili SHA256-räsi Windowsis
Viimased versioonid
Ainus versioon ›| Versioon | Kuupäev | Suurus | Failid |
|---|---|---|---|
| 4.11.0Uusim | — | 64-bitine ZIP |
Paigaldamine käsurealt
Vaikne paigaldus ›scoop install main/dafnyProgrammifailid (.exe): dafny.exe, dafnyserver.exe
Seotud juhend: Kuidas kasutada wingetit: paigaldus ja uuendamine
Teave
- Kategooria
- Paketihaldurid ja uuendajad
- Litsents
- MIT
- Hind
- Tasuta
- Nõuded
- Windows 11 / 10
- Arhitektuur
- 64-bitine
- Paigaldaja
- Portatiivne
- Versioon
- 4.11.0
- Versioone kataloogis
- 1
- Veebileht
- dafny-lang.github.io
- Scoopi pakett
- main/dafny
Hinnangud ja arvustused
Arvustusi veel pole. Hinda esimesena.
Programmi dafny alternatiivid
Vaata kõiki ›-
Avatud lähtekood386,2 mln ↓ -
Avatud lähtekood2,6 mln ↓ -
Avatud lähtekood183 tuh ↓ -
Avatud lähtekood257,3 tuh ↓ -
Avatud lähtekood78,1 tuh ↓ -
Avatud lähtekood3,9 tuh ↓ -
Avatud lähtekood9,8 tuh ↓ -
Avatud lähtekood15 tuh ↓
Korduma kippuvad küsimused
Kas dafny on tasuta?
Jah. dafny on avatud lähtekoodiga tarkvara (litsents MIT).
Kas programmi dafny allalaadimine on ohutu?
Fail laaditakse alla aadressilt github.com; ExeAtlas faili ei majuta ega muuda. Võrdle faili SHA256-räsi siin näidatuga või ava selle räsi VirusTotali aruanne.
Kas dafny töötab ARM-protsessoriga (Windows on Arm)?
ARM64-versiooni pole; Windows 11 on Arm saab 64-bitine versiooni käivitada emulatsiooni abil.
Kas programmi dafny saab kasutada ilma administraatori õigusteta?
Jah, see on portatiivne: paki lahti ja käivita.
