← Back to repositories

input-output-hk/Lean-blaster

github.com/input-output-hk/Lean-blaster ↗

Lean

Stars

⭐ 40

PRs Reviewed

3

Bot Comments

19

Primary Language

Lean

Merge Rate

66.7%

Avg Time to Merge

1h

Avg Additions

+265

Avg Deletions

-2

Avg Files Changed

2

AI Review Products#

AI code review products active on this repository.