← Back to repositories
Tehlikeli107

Tehlikeli107/mathlib4

github.com/Tehlikeli107/mathlib4 ↗
LeanFork

Stars

⭐ 0

PRs Reviewed

44

Bot Comments

51

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+35

Avg Deletions

-6

Avg Files Changed

2

AI Review Products#

AI code review products active on this repository.

Gemini Code AssistGemini Code Assist
38 PRs48 events
OpenAI CodexOpenAI Codex
16 PRs16 events
Tehlikeli107/mathlib4 — AI Code Review Activity — Code Review Trends