← Back to repositories
google-deepmind

google-deepmind/formal-conjectures

github.com/google-deepmind/formal-conjectures ↗
Lean

Stars

⭐ 902

PRs Reviewed

3

Bot Comments

3

Primary Language

Lean

Merge Rate

66.7%

Avg Time to Merge

4d

Avg Additions

+51

Avg Deletions

-0

Avg Files Changed

2

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
3 PRs5 events
google-deepmind/formal-conjectures — AI Code Review Activity — Code Review Trends