Skip to content

Pull requests: lean-phys-community/PhysLean

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort

Pull requests list

Initial Commit for Orbital 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…
refactor: Integrals t-space-time Space and time
#952 opened Feb 19, 2026 by jstoobysmith Loading…
Initial IdealFluid structure
#949 opened Feb 16, 2026 by mog1el Draft
1 of 9 tasks
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! Adding no:label will show everything without a label.