Skip to content

Pull requests: lean-phys-community/PhysLean

New pull request New
12 Open 852 Closed
12 Open 852 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(SolidSphere): prove solidSphere_inertiaTensor awaiting-author A reviewer has asked the author a question or requested changes
#962 opened Feb 25, 2026 by pitmonticone Loading…
5
feat(Generalized): prove generalizedBoost_timeComponent_eq awaiting-author A reviewer has asked the author a question or requested changes t-relativity Relativity
#960 opened Feb 25, 2026 by pitmonticone Loading…
@morrison-daniel
2
feat: Improve docs on space t-space-time Space and time
#959 opened Feb 24, 2026 by jstoobysmith Loading…
14
feat: Thermodynamics (and some minor changes to StatisticalMechanics)
#958 opened Feb 22, 2026 by ichxorya • Draft
11
feat: Hilbert space & unbounded operators on Space t-quantum-mechanics Quantum mechanics
#957 opened Feb 21, 2026 by gloges Loading…
@morrison-daniel
44
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…
7
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…
3
refactor: Integrals t-space-time Space and time
#952 opened Feb 19, 2026 by jstoobysmith Loading…
@morrison-daniel
24
Initial IdealFluid structure awaiting-author A reviewer has asked the author a question or requested changes
#949 opened Feb 16, 2026 by mog1el • Draft
6 of 9 tasks
5
feat: Add surfaces WIP Currently being worked on, not ready for merge
#942 opened Feb 13, 2026 by jstoobysmith • Draft
1
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…
1
Formalization of Hopfield Networks (WIP)
#664 opened Jul 28, 2025 by mkaratarakis • Draft
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.