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