Skip to content

Replace deprecated syntax 'forall ensures' -> 'assert ... by'#147

Open
markrtuttle wants to merge 1 commit intodafny-lang:masterfrom markrtuttle:replace-deprecated-forall-syntax
+4-4

Commits

Commits on Oct 4, 2023