-
Notifications
You must be signed in to change notification settings - Fork 78
Pull requests: leanprover-community/physlib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: Space deriv in terms of mfderiv
easy
< 20s of review time
t-space-time
Space and time
#974
opened Mar 5, 2026 by
jstoobysmith
Loading…
feat: AddTorsor instance on space
awaiting-author
A reviewer has asked the author a question or requested changes
t-space-time
Space and time
#972
opened Mar 5, 2026 by
jstoobysmith
Loading…
docs: Start review guidelines
documentation
Improvements or additions to documentation
#971
opened Mar 5, 2026 by
jstoobysmith
Loading…
feat(SolidSphere): prove A reviewer has asked the author a question or requested changes
solidSphere_inertiaTensor
awaiting-author
#962
opened Feb 25, 2026 by
pitmonticone
Loading…
Initial Commit for Orbital Mechanics
awaiting-author
A reviewer has asked the author a question or requested changes
t-classical-mechanics
Classical mechanics
#956
opened Feb 20, 2026 by
hannxmarie
Loading…
feat: Static EM
awaiting-author
A reviewer has asked the author a question or requested changes
t-electromagnetism
Electromagnetism
#953
opened Feb 19, 2026 by
jstoobysmith
Loading…
Initial IdealFluid structure
awaiting-author
A reviewer has asked the author a question or requested changes
feat: Add surfaces
WIP
Currently being worked on, not ready for merge
#942
opened Feb 13, 2026 by
jstoobysmith
•
Draft
Introduce Z-prime charge assignments for Standard Model fermions
awaiting-author
A reviewer has asked the author a question or requested changes
t-particles
Particles
#913
opened Jan 17, 2026 by
ValentinBredemestre
Loading…
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.