← Back to repositories

cc-chen-tech/riemann-pnt-lean4

github.com/cc-chen-tech/riemann-pnt-lean4 ↗

Lean

Stars

⭐ 0

PRs Reviewed

1

Bot Comments

1

Primary Language

Lean

Merge Rate

100.0%

Avg Time to Merge

11h

Avg Additions

+19.5K

Avg Deletions

-458

Avg Files Changed

65

AI Review Products#

AI code review products active on this repository.