leanprover-community/physlib Issues

Stars: (642 Sterne)
Forks: (139 Forks)
Indexierte Issues: (5 indexierte Issues)
offene Einsteiger-Issues: (5 offene Einsteiger-Issues)
Zuletzt indexiert: 14.08.2026
Letzter GitHub Push: 11.07.2026
Lizenz: Apache License 2.0
Contributing Guide: Contributing Guide
Code of Conduct: Kein Code of Conduct
Hauptsprache: Lean
PR-Merge-Metriken: (PR-Metriken ausstehend)
Einsteiger-Labels: good first issuehelp wanted

Issues

0 geschlossene indexierte Issues

Für dieses Repository wurden keine geschlossenen indexierten Issues gefunden.