Closed MikaelMayer closed 2 years ago
We can merge this PR once this PR is merged: https://github.com/dafny-lang/dafny/pull/1695
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.
Superseded by #36
robin-aws
commented
2 years ago robin-aws
commented
2 years ago
We can merge this PR once this PR is merged: https://github.com/dafny-lang/dafny/pull/1695
By submitting this pull request, I confirm that my contribution is made under the terms of the MIT license.