← Back to repositories

Malaeu/chen_q3

github.com/Malaeu/chen_q3 ↗

Lean

Stars

⭐ 0

PRs Reviewed

10

Bot Comments

47

Primary Language

Lean

Merge Rate

40.0%

Avg Time to Merge

42m

Avg Additions

+792

Avg Deletions

-101

Avg Files Changed

14

AI Review Products#

AI code review products active on this repository.

Gemini Code Assist