dafny.exe چیست و مال کدام برنامه است؟
dafny.exe یکی از فایل‌های برنامه dafny است؛ همراه برنامه نصب می‌شود و با آن می‌توان برنامه را از خط فرمان اجرا کرد.
| نرم‌افزار | ناشر | آخرین نسخه | پوشه نصب پیش‌فرض |
|---|---|---|---|
| dafny | — | 4.11.0 | — |
پرسش‌های متداول
آیا dafny.exe امن است؟
اگر dafny.exe در پوشه نصب برنامه باشد و امضای دیجیتال ناشر را داشته باشد، بخش عادی dafny است. فایلی با همین نام در پوشه‌ای دیگر ممکن است چیز دیگری باشد: امضا و هش آن را بررسی کنید.
dafny.exe کجاست؟
در پوشه نصب برنامه که نصبکننده تعیین میکند؛ winget برنامههای پرتابل را در %LOCALAPPDATA%\Microsoft\WinGet\Packages قرار میدهد.
چطور dafny.exe را حذف کنم؟
dafny را از تنظیمات ← برنامهها یا با winget حذف کنید؛ حذفکننده، dafny.exe را هم پاک میکند. اگر فقط خود فایل را پاک کنید، بقیه برنامه روی سیستم میماند.