MSBuild tasks for use in projects containing Dafny source code
Primary LanguageC#MIT LicenseMIT
No issues in this repository yet.