package

Dafny

Description

Programming language with built-in specification constructs.

Metadata

Version

4.7.0

License

Status

Source

pkgs/applications/science/logic/dafny/default.nix:64

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