← Back to repositories

leanprover-community/physlib

github.com/leanprover-community/physlib ↗

Lean

Stars

⭐ 552

PRs Reviewed

1

Bot Comments

0

Primary Language

Lean

Merge Rate

0.0%

Avg Time to Merge

—

Avg Additions

+2.5K

Avg Deletions

-2.2K

Avg Files Changed

13

AI Review Products#

AI code review products active on this repository.