search

dafny-lang / libraries

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

chore: run dotnet format #150

Closed seebees closed 8 months ago

seebees commented 8 months ago

This is just the result of running dotnet format.

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