alexb-harmonic/aesop

Stars

⭐ 0

PRs Reviewed

1

Bot Comments

0

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+24

Avg Deletions

-2

Avg Files Changed

2