lfglabs-dev/verity

Stars

⭐ 47

PRs Reviewed

25

Bot Comments

224

Primary Language

Lean

Merge Rate

56.0%

Avg Time to Merge

4h

Avg Additions

+2.3K

Avg Deletions

-892

Avg Files Changed

12