Skip to content

Actions: leanprover-community/physlib

Actions

PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PRMessage.yml
425 workflow runs
425 workflow runs

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
refactor(Electromagnetism): replace fieldStrengthMatrix with index-evaluation components PR Comment #425: Pull request #1614 opened by zhikaip
41s
41s
Improve how references are used throughout Physlib PR Comment #424: Pull request #1613 opened by Alex-Zughaid
31s
31s
feat(ClassicalMechanics): Newtonian point-particle systems PR Comment #423: Pull request #1612 opened by RaunakChhatwal
1m 10s
1m 10s
fix(Tensors): rank the tensor action above the Tensorial action PR Comment #422: Pull request #1611 opened by zhikaip
30s
30s
feat(Lorentz.Vector): mark Vector and CoVector implicit_reducible, add inner_eq_sum PR Comment #421: Pull request #1610 opened by zhikaip
32s
32s
feat(OperatorAlgebra): reorganize states, observables, and measurement PR Comment #420: Pull request #1608 opened by TomOleDiem
34s
34s
feat(OperatorAlgebra): unitary one-parameter group automorphisms and Hamiltonian dynamics PR Comment #419: Pull request #1607 opened by TomOleDiem
32s
32s
feat(ReferenceFrame): velocity of a trajectory in a frame via derivVec PR Comment #418: Pull request #1606 opened by zhikaip
28s
28s
EVJJI theorem twoState_entropy_eq PR Comment #417: Pull request #1605 opened by oe-parks
26s
26s
refactor(ClassicalMechanics): switch to derivVec for simple-pendulum velocity PR Comment #416: Pull request #1604 opened by zhikaip
30s
30s
refactor(ClassicalMechanics): switch to derivVec for rigid-body velocities and momentum PR Comment #415: Pull request #1603 opened by zhikaip
27s
27s
refactor(OperatorAlgebra): Implement states in more Mathlib-aligned style (RFC) PR Comment #414: Pull request #1602 opened by goliath-klein
29s
29s
feat: review claims via comments PR Comment #413: Pull request #1601 opened by Alex-Zughaid
29s
29s
feat(Units): component lemmas for the Exponent power of a dimension PR Comment #412: Pull request #1600 opened by NicolasRouquette
26s
26s
refactor(SpaceAndTime): move cmap and cmap_apply to Space/SmoothFunctions PR Comment #411: Pull request #1599 opened by giuseppesorge
34s
34s
Reimprove readme PR Comment #410: Pull request #1598 opened by jstoobysmith
35s
35s
docs: Add API map prompt PR Comment #409: Pull request #1597 opened by jstoobysmith
33s
33s
Update README with library sections and descriptions PR Comment #408: Pull request #1596 opened by jstoobysmith
31s
31s
feat: time derivative of trajectories into torsors as derivVec PR Comment #407: Pull request #1592 opened by zhikaip
31s
31s
Speed up cache build workflow PR Comment #406: Pull request #1591 opened by Alex-Zughaid
36s
36s
feat(OperatorAlgebra): Reorganize State & Measurement PR Comment #405: Pull request #1590 opened by TomOleDiem
28s
28s
Add lattice QFT stub module PR Comment #404: Pull request #1589 opened by Rahul-pamula
38s
38s
feat(QuantumInfo): quantum Cramér–Rao bound for pure states PR Comment #403: Pull request #1587 opened by naype888-cloud
25s
25s
Use the R2 storage cache to speed up build of Physlib + PhyslibAlpha workflows PR Comment #402: Pull request #1586 opened by Alex-Zughaid
44s
44s
docs: fix ContrMod docstring (real vectors, not complex) PR Comment #401: Pull request #1585 opened by sankalpsthakur
33s
33s