← Back to repositories
Beneficial-AI-Foundation

Beneficial-AI-Foundation/probe-lean

github.com/Beneficial-AI-Foundation/probe-lean ↗
Lean

Stars

⭐ 2

PRs Reviewed

1

Bot Comments

6

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+2.2K

Avg Deletions

-7

Avg Files Changed

25

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
1 PRs1 events
Beneficial-AI-Foundation/probe-lean — AI Code Review Activity — Code Review Trends