← Back to repositories
Zhi0467/agent-assisted-lean-formalization-engine
github.com/Zhi0467/agent-assisted-lean-formalization-engine ↗Python
Stars
⭐ 2
PRs Reviewed
5
Bot Comments
39
Primary Language
Python
Merge Rate
60.0%
Avg Time to Merge
9h
Avg Additions
+3.8K
Avg Deletions
-370
Avg Files Changed
57
AI Review Products#
AI code review products active on this repository.
