dafny

Programming language with built-in specification constructs

Name

Dafny

Programs

• Dafny
• dafny

Homepage

• https://research.microsoft.com/dafny

Version

4.11.0

License

• MIT License

Maintainers

• Guillaume Maudoux

Platforms

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

Defined

Source