dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Assign-such-that documentation

Open stefan-aws opened this issue 9 months ago • 0 comments

Description

Addresses https://github.com/dafny-lang/dafny/issues/5372.

How has this been tested?

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

stefan-aws avatar May 28 '24 00:05 stefan-aws