dafny icon indicating copy to clipboard operation
dafny copied to clipboard

Published 20 hours ago • verified publisher icon dafny-lang

Prune assumptions

Open keyboardDrummer opened this issue 1 year ago • 0 comments
trafficstars

Draft

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

keyboardDrummer avatar Jul 19 '24 12:07 keyboardDrummer