Compatibility with Dafny 4.3, 4.4, and newer

dafny-lang / libraries

Libraries useful for Dafny programs

Other

43 stars 25 forks source link

Closed atomb closed 8 months ago

atomb commented 8 months ago

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

atomb commented 8 months ago

Closing in favor of #154.