Total Stars
⭐ 1.1K
Repos Tracked
1
PRs with AI Review
1
Bot Comments
0
AI Review Products#
AI code review products active on formal-land's repositories.
Languages#
Rocq Prover
Repositories#
Repositories where AI bots review code.
| Repository | ⭐ Stars | Language | Reviewed PRs | Bot Comments |
|---|---|---|---|---|
| coq-of-rust↗ | 1,118 | Rocq Prover | 1 | 0 |