← Back to repositories

project-numina/kimina-lean-server

github.com/project-numina/kimina-lean-server ↗

Python

Stars

⭐ 196

PRs Reviewed

3

Bot Comments

6

Primary Language

Python

Merge Rate

66.7%

Avg Time to Merge

54m

Avg Additions

+40

Avg Deletions

-9

Avg Files Changed

3

AI Review Products#

AI code review products active on this repository.