← Back to repositories
Beneficial-AI-Foundation/dafny-autopilot
github.com/Beneficial-AI-Foundation/dafny-autopilot ↗TypeScript
Stars
⭐ 14
PRs Reviewed
1
Bot Comments
5
Primary Language
TypeScript
Merge Rate
100.0%
Avg Time to Merge
22h
Avg Additions
+915
Avg Deletions
-499
Avg Files Changed
5
AI Review Products#
AI code review products active on this repository.
