Skip to content

Pull requests: leanprover-community/physlib

New pull request New
35 Open 1,051 Closed
35 Open 1,051 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

Add 'ofSet' to .codespellignore (See #1176) ready-to-merge This PR is approved and will be merged shortly
#1197 opened Jun 17, 2026 by Bergschaf Contributor Loading…
3
The Euclidean Action and the Action of the Group of Rotations
#1196 opened Jun 17, 2026 by LibertasSpZ Contributor Loading…
2
refactor: QuantumInfo line lengths <100characters
#1195 opened Jun 17, 2026 by jstoobysmith Member Loading…
1
feat: Fix PhyslibAlpha linter
#1193 opened Jun 17, 2026 by jstoobysmith Member Loading…
1
feat: generalized Kronecker delta definition
#1192 opened Jun 16, 2026 by wdconinc Loading…
12
feat: Stinespring dilation
#1191 opened Jun 16, 2026 by bjoernkjoshanssen Contributor Loading…
2
Ai policy and agent instructions
#1187 opened Jun 15, 2026 by jfindlay Contributor Loading…
4
feat(SpaceAndTime/Space/Basic): IsManifold instance for Space
#1176 opened Jun 12, 2026 by Bergschaf Contributor • Draft
4
feat(Mathematics/Calculus): coordinate Wirtinger calculus on ℂⁿ awaiting-author A reviewer has asked the author a question or requested changes
#1174 opened Jun 12, 2026 by pariandrea Contributor Loading…
@jstoobysmith
8
refactor: Add invariants theorem for Higgs potential RFC Request for comment t-particles Particles
#1173 opened Jun 12, 2026 by jstoobysmith Member Loading…
@morrison-daniel
3
feat: Update Readme with PhysilbAlpha
#1170 opened Jun 11, 2026 by jstoobysmith Member Loading…
3
refactor: Weyl fermions RFC Request for comment t-relativity Relativity
#1166 opened Jun 10, 2026 by jstoobysmith Member Loading…
@morrison-daniel
2
feat: Adding Space Module Docs Improvement awaiting-author A reviewer has asked the author a question or requested changes
#1153 opened Jun 7, 2026 by NicolaBernini Contributor Loading…
3
feat(QuantumInfo): angle-parameterized qubit ket for Pancharatnam connection awaiting-author A reviewer has asked the author a question or requested changes
#1139 opened Jun 2, 2026 by wock9000 Contributor Loading…
1
feat(FluidDynamics): Adding more fluid dynamics - continuation of PR #949 and #1112 , awaiting-author A reviewer has asked the author a question or requested changes
#1125 opened May 26, 2026 by FloWsnr Contributor Loading…
42
feat(Mathematics): add Physlib/Mathematics/GoldenRatio.lean awaiting-author A reviewer has asked the author a question or requested changes
#1122 opened May 23, 2026 by gHashTag Loading…
2
feat(SpaceAndTime): first-step GalileanGroup API (data type and coordinate action) awaiting-author A reviewer has asked the author a question or requested changes
#1116 opened May 21, 2026 by MaxwellLaw Loading…
5 tasks done
10
feat: Other implementation RFC Request for comment
#1111 opened May 20, 2026 by jstoobysmith Member Loading…
feat(QuantumMechanics): sudden frequency change for the QHO
#1109 opened May 19, 2026 by casualPhysics Collaborator Loading…
6 tasks done
feat: Wirtinger calculus and N=1 SUSY scalar Wirtinger derivatives
#1107 opened May 18, 2026 by pariandrea Contributor Loading…
@jstoobysmith
22
feat(AxiomatizedEntropy): expand RelEntropy API and add Hellinger overlap
#1098 opened May 13, 2026 by dennj Contributor Loading…
5
feat(QuantumMechanics): add Canonical commutation on the Schwartz submodule blocked-by-PR This PR depends on another PR t-quantum-mechanics Quantum mechanics
#1096 opened May 13, 2026 by or4nge19 Collaborator Loading…
15
feat(Entropy): prove sandwiched Rényi DPI; remove axiom awaiting-author A reviewer has asked the author a question or requested changes
#1073 opened May 2, 2026 by dennj Contributor Loading…
5
Rename and split QED anomaly cancellation plane definitions for clarity
#1047 opened Apr 20, 2026 by Copilot AI • Draft
1
@jstoobysmith
52
feat: Move variational calculus merge-conflict The PR has a merge conflict with master RFC Request for comment
#1018 opened Apr 1, 2026 by jstoobysmith Member Loading…
1
ProTip! Filter pull requests by the default branch with base:master.