leanprover-community/physlib
View on GitHubA project to digitalise results from physics into Lean.
- Stars
- 750
- Forks
- 191
- Open beginner issues
- 0
- Indexed issues
- 57
- Avg merge
- 1d 21h
- Merged PRs (30d)
- 75
- Dominant language
- Lean
- License
- Apache-2.0
- Last GitHub push
- Sep 20, 2026
- Latest indexed
- Sep 18, 2026
- Contributing guide
- Contributing guide
- Code of conduct
- No code of conduct
- Beginner labels
- help wanted good first issue
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 82/100
leanprover-community/physlib#1543 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover-community/physlib#1542 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 85/100
leanprover-community/physlib#1541 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover-community/physlib#1538 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 85/100
leanprover-community/physlib#1537 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover-community/physlib#1536 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 85/100
leanprover-community/physlib#1535 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover-community/physlib#1534 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 90/100
leanprover-community/physlib#1532 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 82/100
leanprover-community/physlib#1530 ·
-
good first issue help-wanted
Difficulty 1/5 Under an hour Newbie friendliness 88/100
leanprover-community/physlib#1529 ·
-
good first issue help-wanted
Difficulty 2/5 1-3 hours Newbie friendliness 68/100
leanprover-community/physlib#1528 ·
-
Difficulty 1/5 Under an hour Newbie friendliness 72/100
leanprover-community/physlib#1457 ·