Repository Issues

leanprover-community/physlib

A project to digitalise results from physics into Lean.

View on GitHub
Stars
 (642 stars)
Forks
 (139 forks)
Indexed issues
 (5 indexed issues)
open beginner issues
 (5 open beginner issues)
Latest indexed
Aug 14, 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
good first issuehelp wanted

Issues

5 indexed issues

Open
Remove `erw`s
good first issuehelp-wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelContributing guide available

leanprover-community / physlib · #385 · Mar 10, 2025 · Lean · 642 stars

1 comment0 reactions0 assignees
Open
Multigoal linter
good first issuehelp-wanted
Why recommendedNo assignee yet · No comments yet
No assignee yetNo comments yetHas a beginner-friendly labelContributing guide available

leanprover-community / physlib · #353 · Feb 27, 2025 · Lean · 642 stars

0 comments0 reactions0 assignees
Open
Workflow alignment
WIPenhancementgood first issuehelp-wanted
Why recommendedNo comments yet · Has a beginner-friendly label
No comments yetHas a beginner-friendly labelContributing guide available

leanprover-community / physlib · #282 · Jan 20, 2025 · Lean · 642 stars

0 comments0 reactions1 assignee