← Back to repositories

dafny-lang/miniF2F

github.com/dafny-lang/miniF2F ↗

Dafny

Stars

⭐ 12

PRs Reviewed

2

Bot Comments

2

Primary Language

Dafny

Merge Rate

50.0%

Avg Time to Merge

2d

Avg Additions

+79

Avg Deletions

-16

Avg Files Changed

2

AI Review Products#

AI code review products active on this repository.