package

Dafny

Description

Programming language with built-in specification constructs.

Metadata

Version

4.8.0

License

Status

Source

pkgs/by-name/da/dafny/package.nix:66

Homepage

https://research.microsoft.com/dafny

Maintainers (1)

Guillaume Maudoux

Executables (1)

bin/Dafny

Platforms (4)

Darwin

Linux

Show all

aarch64-darwin
aarch64-linux
x86_64-darwin
x86_64-linux