← Back to repositories

Beneficial-AI-Foundation/dafny-bignums

github.com/Beneficial-AI-Foundation/dafny-bignums ↗

Dafny

Stars

⭐ 0

PRs Reviewed

1

Bot Comments

1

Primary Language

Dafny

Merge Rate

100.0%

Avg Time to Merge

18h

Avg Additions

+1.1K

Avg Deletions

-1.1K

Avg Files Changed

11

AI Review Products#

AI code review products active on this repository.