← Back to repositories
2tbmz9y2xt-lang

2tbmz9y2xt-lang/rubin-formal

github.com/2tbmz9y2xt-lang/rubin-formal ↗
Lean

Stars

⭐ 0

PRs Reviewed

90

Bot Comments

280

Primary Language

Lean

Merge Rate

82.2%

Avg Time to Merge

54m

Avg Additions

+303

Avg Deletions

-52

Avg Files Changed

5

AI Review Products#

AI code review products active on this repository.

OpenAI CodexOpenAI Codex
50 PRs62 events
CodacyCodacy
28 PRs28 events
GitHub CopilotGitHub Copilot
19 PRs27 events
CodeRabbitCodeRabbit
5 PRs7 events
Cursor BugbotCursor Bugbot
4 PRs6 events
ClaudeClaude
1 PRs1 events
2tbmz9y2xt-lang/rubin-formal — AI Code Review Activity — Code Review Trends