Dafny
Dafny is a verification-aware programming language
Pinned
Repositories
Showing 10 of 18 repositories
-
-
- dafny-lang.github.io Public
-
- dafny-reportgenerator Public
A tool for analyzing and reporting on Dafny, especially the results of verification