EvolvingLMMs-Lab/lean-runner

Stars

⭐ 9

PRs Reviewed

13

Bot Comments

18

Primary Language

Python

Merge Rate

92.3%

Avg Time to Merge

0m

Avg Additions

+267

Avg Deletions

-85

Avg Files Changed

7