search

dafny-lang / libraries

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

Add Equivalence Relation Definitions to Dafny Subfolder #115

Closed stefan-aws closed 1 year ago

stefan-aws commented 1 year ago

Follow up to https://github.com/dafny-lang/libraries/pull/105

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