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
A programming language with a program verifier
🔗 https://dafny-lang.github.io/dafny/
📜 App manifest
Current version: 4.0.0
Bucket: main
License: MIT
scoop install dafny