search

dafny-lang / libraries

Libraries useful for Dafny programs
Other
43 stars 25 forks source link

Mark repository as deprecated #155

Closed robin-aws closed 8 months ago

robin-aws commented 9 months ago

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