← Back to repositories

szl-holdings/lutar-lean

github.com/szl-holdings/lutar-lean ↗

Lean

Stars

⭐ 0

PRs Reviewed

3

Bot Comments

6

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

2h

Avg Additions

+163

Avg Deletions

-1

Avg Files Changed

1

AI Review Products#

AI code review products active on this repository.