Repository Issues

leanprover-community/physlib

A project to digitalise results from physics into Lean.

Auf GitHub ansehen
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

5 indexierte Issues

Offen
Remove `erw`s
good first issuehelp-wanted
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

leanprover-community / physlib · #385 · 10.03.2025 · Lean · 642 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen
Offen
Multigoal linter
good first issuehelp-wanted
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

leanprover-community / physlib · #353 · 27.02.2025 · Lean · 642 Sterne

0 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Workflow alignment
WIPenhancementgood first issuehelp-wanted
Warum empfohlenNoch keine Kommentare · Einsteigerfreundliches Label vorhanden
Noch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

leanprover-community / physlib · #282 · 20.01.2025 · Lean · 642 Sterne

0 Kommentare0 Reaktionen1 zugewiesene Person