search

dafny-lang / libraries

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

Remove warnings in forall #158

Closed seebees closed 3 weeks ago

seebees commented 1 month ago

We are still using this. Need to move over to the DafnyStandardLibrary, but that is not compiled with utf8-false yet.

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