Nixhub.io

dotnetPackages.Dafny

A programming language with built-in specification constructs

devbox add dotnetPackages.Dafny@latest
Tips

Install the package with Nix (specific nixpkg reference shown below).

Not a Nix expert? Download the Devbox CLI and install via `devbox add dotnetPackages.Dafny@latest`.

  1. Version
    2.3.0

    Available on Linux and macOS

    Nixpkgs Reference

    7d0ed7f2e5aea07ab22ccb338d27fbe347ed2f11#dotnetPackages.Dafny

    Install with Devbox

    devbox add dotnetPackages.Dafny@2.3.0
    Last updated