Gusarich/tvm-lean

Stars

⭐ 3

PRs Reviewed

19

Bot Comments

7

Primary Language

Lean

Merge Rate

94.7%

Avg Time to Merge

7h

Avg Additions

+4.7K

Avg Deletions

-219

Avg Files Changed

30