search

dafny-lang / dafny-reportgenerator

A tool for analyzing and reporting on Dafny, especially the results of verification
MIT License
3 stars 4 forks source link

Set package licenses #13

Closed atomb closed 2 years ago

atomb commented 2 years ago

By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license. :)