Skip to content

Actions: leanprover-community/physlib

Actions

PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PRMessage.yml
413 workflow runs
413 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
GitHub review claim labels 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
docs: drop undefined Pauli tensor notation from module header PR Comment #400: Pull request #1584 opened by sankalpsthakur
29s
29s
Publish a downloadable build cache (Physlib + PhyslibAlpha) PR Comment #399: Pull request #1583 opened by Alex-Zughaid
27s
27s
feat: Lake cache workflow PR Comment #398: Pull request #1582 opened by Alex-Zughaid
39s
39s
docs(Relativity): correct dimension in Levi-Civita contraction module docstring PR Comment #397: Pull request #1581 opened by oe-parks
32s
32s
feat(Units): reducible rational arithmetic via Exponent PR Comment #396: Pull request #1579 opened by RaunakChhatwal
34s
34s
QuantumInfo: StdBasis refactor PR Comment #395: Pull request #1578 opened by Timeroot
33s
33s
States, expectation, and uncertainty relations PR Comment #394: Pull request #1577 opened by TomOleDiem
33s
33s
feat(ClassicalMechanics): SimplePendulum.periodFormula, the classical amplitude-dependent period PR Comment #393: Pull request #1576 opened by aadarwal
27s
27s
feat(ClassicalMechanics): existence and uniqueness for the nonlinear simple pendulum PR Comment #392: Pull request #1575 opened by aadarwal
2m 54s
2m 54s
refactor(Time): general lemmas for the time derivative under reparametrisation and reflection PR Comment #391: Pull request #1574 opened by aadarwal
26s
26s
feat(Mathematics): Real.completeEllipticK, Legendre's complete elliptic integral of the first kind PR Comment #390: Pull request #1573 opened by aadarwal
32s
32s
feat(ClassicalMechanics): the small-angle regime of the simple pendulum as a harmonic oscillator PR Comment #389: Pull request #1572 opened by aadarwal
28s
28s