meta-introspector/lean-worker

Stars

⭐ 5

PRs Reviewed

2

Bot Comments

43

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+13.2K

Avg Deletions

-18

Avg Files Changed

49