Dafny

Windowsdotnet-8.0—

Available onDirect DownloadGitHub

Runtime

dotnet-8.0

Size

146 MB

Architecture

x64

Dependencies

109

4 categories

Dafny is a dotnet-8.0 app (—) that uses 109 detected dependencies across 4 categories including Serialization, Other, Compression. It is not code-signed. 146 MB on Windows (x64). Last verified June 2026.

What is Dafny built with?

109 detected dependencies across 4 categories.

Serialization

Compression

Cryptography

Other

Dafny Tomlyn MediatR testhost DafnyCore RangeTree System.IO Boogie.Core DafnyDriver DafnyServer NJsonSchema System.Linq Boogie.Graph Boogie.Model DafnyRuntime intervaltree Boogie.VCExpr DafnyPipeline Boogie.Houdini System.Runtime System.Reactive Boogie.BaseTypes Nerdbank.Streams System.Threading System.AppContext System.Reflection system.linq.async Boogie.Concurrency Serilog.Sinks.File System.Collections System.CommandLine System.ObjectModel Boogie.VCGeneration DafnyLanguageServer DafnyTestGeneration Namotion.Reflection Serilog.Sinks.Debug System.Globalization Boogie.Provers.SMTLib JetBrains.Annotations System.Drawing.Common Boogie.ExecutionEngine System.Dynamic.Runtime System.Runtime.Handles Boogie.Provers.LeanAuto NJsonSchema.Annotations System.Runtime.Numerics System.Diagnostics.Debug System.Windows.Extensions Serilog.Extensions.Logging Boogie.CodeContractsExtender OmniSharp.Extensions.JsonRpc System.Collections.Immutable Boogie.AbstractInterpretation Serilog.Settings.Configuration System.Runtime.InteropServices Microsoft.TestPlatform.TestHost System.IO.FileSystem.Primitives System.Text.Encoding.Extensions Microsoft.VisualStudio.Threading microsoft.testplatform.utilities Microsoft.VisualStudio.Validation System.Security.Principal.Windows OmniSharp.Extensions.LanguageServer microsoft.testplatform.coreutilities Microsoft.DotNet.PlatformAbstractions OmniSharp.Extensions.LanguageProtocol microsoft.testplatform.crossplatengine OmniSharp.Extensions.JsonRpc.Generators System.Configuration.ConfigurationManager Microsoft.VisualStudio.Threading.Analyzers OmniSharp.Extensions.LanguageServer.Shared microsoft.visualstudio.testplatform.common Microsoft.TestPlatform.Extensions.TrxLogger microsoft.testplatform.platformabstractions microsoft.testplatform.communicationutilities microsoft.visualstudio.testplatform.objectmodel microsoft.visualstudio.testplatform.extensions.trx.testlogger

Dot shows detection confidence; hover a technology for its evidence source. Higher confidence means a stronger extraction signal (e.g. a manifest entry vs. a binary string match).

Analyzed binary

SHA-256 of the exact binary Dafny was analyzed from.

No signal

No signal — this field was not captured in the extraction on record. It is populated on re-extraction, not absent from the app.

When was Dafny last updated?

1 tracked releases since June 2026.

Latest: —

June 22, 2026

Last verified June 22, 2026

Get version history, dependency trees, and scores via API