dafny

A programming language with a program verifier

🔗 https://dafny-lang.github.io/dafny/

📜 App manifest

Current version: 4.0.0

Bucket: main

License: MIT

Installation

scoop install dafny