-
Notifications
You must be signed in to change notification settings - Fork 132
Pull requests: leanprover-community/physlib
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
feat: Close the smallest pendulum configuration-space sorryful definitions
#1327
opened Jun 30, 2026 by
NicolaBernini
Contributor
Loading…
auto-task(StandardModel.Representations): record TODO for Standard Model fermion content as left-handed Weyl fermions
#1322
opened Jun 29, 2026 by
jstoobysmith
Member
Loading…
auto-task(EffectivePotential): TODO to make Higgs potential polynomial basis-independent
#1321
opened Jun 29, 2026 by
jstoobysmith
Member
Loading…
feat(ClassicalMechanics): add RigidBodyMotion with centre-of-mass velocity
awaiting-author
A reviewer has asked the author a question or requested changes
#1320
opened Jun 29, 2026 by
giuseppesorge
Contributor
Loading…
feat: Improvements to Elaboration of tensor expressions
#1318
opened Jun 29, 2026 by
jstoobysmith
Member
Loading…
auto-task(Fermion.dirac): record TODO to add Dirac fermion representations and Color
#1317
opened Jun 29, 2026 by
jstoobysmith
Member
Loading…
auto-task(TwoHiggsDoublet.potential): TODO for a general 2HDM effective potential
#1312
opened Jun 29, 2026 by
jstoobysmith
Member
Loading…
feat: Lemmas related to evaluating indices of tensors
#1292
opened Jun 26, 2026 by
jstoobysmith
Member
Loading…
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
Contributor
Loading…
auto-task(conj_isCompletelyPositive): reuse congruence_CP to shorten proof
#1285
opened Jun 26, 2026 by
jstoobysmith
Member
Loading…
auto-task(adiabatic_relation_prod): rename from variable-name-based name
#1282
opened Jun 26, 2026 by
jstoobysmith
Member
Loading…
auto-task(quantumCapacity): minimize imports of QuantumInfo/Capacity/Capacity.lean
#1270
opened Jun 25, 2026 by
jstoobysmith
Member
Loading…
auto-task(Time): add API-map.yaml tracking the Time API
#1268
opened Jun 25, 2026 by
jstoobysmith
Member
Loading…
refactor: Add Contractions in terms of representations
t-relativity
Relativity
#1253
opened Jun 24, 2026 by
jstoobysmith
Member
Loading…
chore(QuantumInfo): clear 56 files from the linter exemption list
#1244
opened Jun 24, 2026 by
tracyphasespace
Contributor
Loading…
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…
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…
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…
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…
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
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…
feat(AxiomatizedEntropy): expand RelEntropy API and add Hellinger overlap
awaiting-author
A reviewer has asked the author a question or requested changes
#1098
opened May 13, 2026 by
dennj
Contributor
Loading…
Previous Next
ProTip!
no:milestone will show everything without a milestone.