Skip to content

support for some with named function and reduce#172

Merged
namin merged 1 commit into
mainfrom
some-reduce
Jul 16, 2026
Merged

support for some with named function and reduce#172
namin merged 1 commit into
mainfrom
some-reduce

support for some with named function and reduce

fe067b2
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
examples-dafny (3)
succeeded Jul 16, 2026 in 2m 7s