Th0rgal/beal-conjecture-lean

Stars

⭐ 0

PRs Reviewed

3

Bot Comments

65

Primary Language

Python

Merge Rate

33.3%

Avg Time to Merge

36m

Avg Additions

+9.2K

Avg Deletions

-10

Avg Files Changed

65