dafny.exe: which program is it?
dafny.exe is a program file of dafny. It is installed together with the program and is how it is started from the command line.
| App | Publisher | Latest version | Default install folder |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
Frequently asked questions
Is dafny.exe safe?
dafny.exe is a normal part of dafny when it sits in the program's install folder and carries the publisher's digital signature. A file with the same name in another folder can be something else: check its signature and hash.
Where is dafny.exe located?
In the program's install folder, which the installer chooses; winget puts portable programs under %LOCALAPPDATA%\Microsoft\WinGet\Packages.
How do I remove dafny.exe?
Uninstall dafny through Settings → Apps or with winget; the uninstaller removes dafny.exe with it. Deleting the file alone leaves the rest of the program behind.