Skip to content

chore(dafny): more using uint64 instead of nat #5073

chore(dafny): more using uint64 instead of nat

chore(dafny): more using uint64 instead of nat #5073

Annotations

1 warning

pr-ci-go  /  testGo (StandardLibrary, 1.23, ubuntu-22.04)

succeeded May 6, 2025 in 3m 55s