leanprover-community/physlib Issues

Stars: (642 stars)
Forks: (139 forks)
Indexed issues: (3 indexed issues)
open beginner issues: (0 open beginner issues)
Latest indexed: Jul 31, 2026
Last GitHub push: Jul 11, 2026
License: Apache License 2.0
Contributing guide: Contributing guide
Code of conduct: No code of conduct
Dominant language: Lean
PR merge metrics: (PR metrics pending)
Beginner labels: No beginner labels indexed

Issues

0 closed indexed issues

No closed indexed issues found for this repository.