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

Open
Remove `erw`s
good first issuehelp-wanted
Why recommendedNo assignee yet · Has a beginner-friendly label
No assignee yetHas a beginner-friendly labelRepository active this monthContributing 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 labelRepository active this monthContributing 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 labelRepository active this monthContributing guide available

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

0 comments0 reactions1 assignee