← Back to repositories

Federico2014/math-lean-verification

github.com/Federico2014/math-lean-verification ↗

Python

Stars

⭐ 0

PRs Reviewed

3

Bot Comments

17

Primary Language

Python

Merge Rate

100.0%

Avg Time to Merge

1h

Avg Additions

+678

Avg Deletions

-107

Avg Files Changed

13

AI Review Products#

AI code review products active on this repository.