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
 (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

3 open indexed issues

RSSAtom
Open
Remove `erw`s
good first issuehelp-wanted

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

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

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

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

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

Why recommendedNo comments yet · Has a beginner-friendly label
No comments yetHas a beginner-friendly labelContributing guide available
0 comments0 reactions1 assignee