Mnehmos/llm-driven-proof-search

Stars

⭐ 10

PRs Reviewed

1

Bot Comments

1

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

18m

Avg Additions

+187

Avg Deletions

-123

Avg Files Changed

2