A programming language with a program verifier
Utgiverens beskrivelse (engelsk)
Hva er dafny?
dafny er et program med åpen kildekode for Windows i kategorien Pakkebehandlere og oppdaterere.
Installasjon og systemkrav
Det finnes offisielle installasjonsfiler for 64-bit i formatet Portabel. Programmet kjører uten installasjon (portabelt).
Fordeler / Ulemper
Fordeler
- Åpen kildekode: hvem som helst kan se gjennom og bygge koden
- Portabelt: kjører uten installasjon
Ulemper
- Ingen egen ARM64-versjon
Kort sagt: dafny er et verktøy med åpen kildekode i kategorien Pakkebehandlere og oppdaterere for PC-er med 64-bit.
Er det trygt å laste ned dafny?
- Filen leveres av github.com; sjekk at dette er utgiverens offisielle speil
- Nedlastingslenken bruker HTTPS
- En SHA256-sum er publisert, så du kan kontrollere filen:
3653F05A111CA21E234709EA7B25CE96083FD6C6F10484256BA54110DBC0654D· Åpne VirusTotal-rapporten for denne sjekksummen - Lenken er ikke sjekket ennå
- Kildekoden er offentlig
- ExeAtlas lagrer, pakker inn eller endrer aldri installasjonsfiler
Relatert veiledning: Slik sjekker du SHA256-summen til en fil i Windows
Nyeste versjoner
Alle 1 versjon ›| Versjon | Dato | Størrelse | Filer |
|---|---|---|---|
| 4.11.0Nyeste | — | 64-bit ZIP |
Installer fra kommandolinjen
Stille installasjon ›scoop install main/dafnyProgramfiler (.exe): dafny.exe, dafnyserver.exe
Relatert veiledning: winget: installer og oppdater programmer i Windows
Informasjon
- Kategori
- Pakkebehandlere og oppdaterere
- Lisens
- MIT
- Pris
- Gratis
- Krav
- Windows 11 / 10
- Arkitektur
- 64-bit
- Installasjonsfil
- Portabel
- Versjon
- 4.11.0
- Registrerte versjoner
- 1
- Nettsted
- dafny-lang.github.io
- Scoop-pakke
- main/dafny
Vurderinger og anmeldelser
Ingen anmeldelser ennå. Bli den første til å gi en vurdering.
Alternativer til dafny
Se alle ›-
Åpen kildekode386,2 mill. ↓ -
Åpen kildekode2,6 mill. ↓ -
Åpen kildekode183k ↓ -
Åpen kildekode257,3k ↓ -
Åpen kildekode78,1k ↓ -
Åpen kildekode3,9k ↓ -
Åpen kildekode9,8k ↓ -
Åpen kildekode15k ↓
Ofte stilte spørsmål
Er dafny gratis?
Ja. dafny er programvare med åpen kildekode under lisensen MIT.
Er det trygt å laste ned dafny?
Filen lastes ned fra github.com; ExeAtlas verken lagrer eller endrer den. Sammenlign SHA256-summen for filen med den som vises her, eller åpne VirusTotal-rapporten for sjekksummen.
Kjører dafny på ARM (Windows on Arm)?
Det finnes ingen ARM64-versjon; Windows 11 on Arm kan kjøre versjonen for 64-bit gjennom emulering.
Kan jeg bruke dafny uten administratorrettigheter?
Ja, programmet er portabelt: pakk ut og kjør.
