Skip to content

Pull requests: leanprover-community/physlib

New pull request New
43 Open 1,290 Closed
43 Open 1,290 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(QuantumMechanics): add algebraic properties for mulOperator t-quantum-mechanics Quantum mechanics
#1448 opened Jul 20, 2026 by gloges Collaborator Loading…
1
feat(Units): parameterise Dimension and its unit twin over a basis
#1447 opened Jul 20, 2026 by NicolasRouquette Loading…
16 tasks done
1
2
feat(Mathematics): Schwartz multiplier by the affine resolvent symbol t-mathematics Mathematics
#1446 opened Jul 19, 2026 by adambornemann-glitch Contributor Loading…
@gloges
1
chore: Bump v4.32.0
#1445 opened Jul 19, 2026 by NicolasRouquette Loading…
14
docs(classical-mechanics): add configuration API maps t-classical-mechanics Classical mechanics
#1444 opened Jul 19, 2026 by Robby955 Contributor Loading…
1
feat(QuantumMechanics): adjoint of continuous operators t-quantum-mechanics Quantum mechanics
#1443 opened Jul 19, 2026 by gloges Collaborator Loading…
1
feat(CondensedMatter): add the thermoelectric figure of merit awaiting-author A reviewer has asked the author a question or requested changes t-condensed-matter Condensed matter
#1440 opened Jul 18, 2026 by gbarbalinardo Loading…
4
docs(electromagnetism): add kinematics API map t-electromagnetism Electromagnetism
#1439 opened Jul 18, 2026 by Robby955 Contributor Loading…
4
docs(classical-field): add gauge theory API map ready-to-merge This PR is approved and will be merged shortly t-classical-field-theory
#1438 opened Jul 18, 2026 by Robby955 Contributor Loading…
2
feat(QuantumMechanics): Sobolev submodules of SpaceDHilbertSpace t-mathematics Mathematics t-quantum-mechanics Quantum mechanics
#1434 opened Jul 17, 2026 by adambornemann-glitch Contributor Loading…
@gloges
18
feat(QuantumMechanics): Fourier conjugate of the momentum operator t-quantum-mechanics Quantum mechanics
#1433 opened Jul 17, 2026 by adambornemann-glitch Contributor Loading…
@gloges
2
feat: Add lepton doublets (Stacked on #1416) blocked-by-PR This PR depends on another PR t-particles Particles
#1430 opened Jul 16, 2026 by nateabr Collaborator Loading…
1
feat: Add API map for the SM awaiting-author A reviewer has asked the author a question or requested changes t-particles Particles
#1419 opened Jul 14, 2026 by jstoobysmith Member Loading…
4
feat: Add up type singlet quarks (Stacked on #1379) blocked-by-PR This PR depends on another PR
#1416 opened Jul 13, 2026 by jstoobysmith Member Loading…
1
feat: Effective potential for Weyl fermions (Stacked on #1404) blocked-by-PR This PR depends on another PR
#1415 opened Jul 13, 2026 by jstoobysmith Member • Draft
4
feat(PhyslibAlpha): QuantumThermodynamics — thermal state, Landauer bound, area API-map
#1409 opened Jul 10, 2026 by fliingelephant • Draft
6
refactor: Golf Quantum info with fable awaiting-author A reviewer has asked the author a question or requested changes
#1403 opened Jul 9, 2026 by jstoobysmith Member • Draft
1
feat(Tensors/Contraction): slot-addressed cross contraction and the general-rank raise/lower round trip
#1375 opened Jul 6, 2026 by pariandrea Contributor Loading…
37
refactor: golf proofs in HarmonicOscillator, IsExtrema, TotalDerivativeEquivalence, KineticTerm
#1373 opened Jul 6, 2026 by Vilin97 Contributor • Draft
1
feat(Thermodynamics): add foundational API awaiting-author A reviewer has asked the author a question or requested changes RFC Request for comment t-thermodynamics Thermodynamics
#1365 opened Jul 4, 2026 by nateabr Collaborator Loading…
26
feat: Add DropPair ProdP commutation lemma for one orientation awaiting-author A reviewer has asked the author a question or requested changes
#1345 opened Jul 1, 2026 by NicolaBernini Collaborator Loading…
4
auto-task(EffectivePotential): TODO to make Higgs potential polynomial basis-independent awaiting-author A reviewer has asked the author a question or requested changes
#1321 opened Jun 29, 2026 by jstoobysmith Member Loading…
@morrison-daniel
2
feat: Refactor downstream use away from FieldStrengthMatrix awaiting-author A reviewer has asked the author a question or requested changes
#1288 opened Jun 26, 2026 by NicolaBernini Collaborator Loading…
6
feat(meta): add agent-review rubric and example GitHub Action
#1209 opened Jun 19, 2026 by jfindlay Contributor • Draft
9
feat: gamma anticommutator and slash of Lorentz vector awaiting-author A reviewer has asked the author a question or requested changes
#1206 opened Jun 18, 2026 by wdconinc Contributor Loading…
26
ProTip! What’s not been updated in a month: updated:<2026-06-19.