Skip to content

Actions: leanprover-community/physlib

Actions

PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PRMessage.yml
495 workflow runs
495 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
feat(PhyslibAlpha): the mass cocycle of the Galilean group (Souriau) PR Comment #495: Pull request #1687 opened by KevorkianPhilippe
27s
27s
chore: bump toolchain to v4.34.1 PR Comment #494: Pull request #1686 opened by kim-em
30s
30s
chore: fix build warnings from the v4.34.0 bump PR Comment #493: Pull request #1685 opened by zhikaip
37s
37s
feat(PhyslibAlpha): the mass as a cohomology class of the Galilean Lie algebra (Souriau) PR Comment #492: Pull request #1684 opened by KevorkianPhilippe
34s
34s
refactor(Time): add manifold structure and remove TimeTransMan PR Comment #491: Pull request #1683 opened by RaunakChhatwal
29s
29s
refactor: replace RatComplexNum by Mathlib's GaussianInt PR Comment #490: Pull request #1682 opened by zhikaip
44s
44s
feat(PhyslibAlpha): cohomology class of the affine symplectic group (Souriau) PR Comment #489: Pull request #1681 opened by KevorkianPhilippe
31s
31s
feat(PhyslibAlpha): Souriau's moment map on a symplectic vector space, cocycle and Noether's theorem PR Comment #488: Pull request #1680 opened by KevorkianPhilippe
31s
31s
feat: add angular momentum squared and ladder operators PR Comment #487: Pull request #1679 opened by lizr-phys
42s
42s
feat(Space): register NormedSpace ℝ (Space d) as a direct instance PR Comment #486: Pull request #1678 opened by zhikaip
31s
31s
refactor(Tensors): rename Tensor.toField to Tensor.toScalar PR Comment #485: Pull request #1677 opened by zhikaip
29s
29s
feat(PhyslibAlpha): Robertson–Schrödinger for density states and ofDensity_rankOne PR Comment #484: Pull request #1676 opened by naype888-cloud
30s
30s
Update README.md PR Comment #483: Pull request #1675 opened by nateabr
31s
31s
Update README.md PR Comment #482: Pull request #1674 opened by nateabr
29s
29s
feat: lift angular momentum to Hilbert space PR Comment #481: Pull request #1673 opened by lizr-phys
34s
34s
feat(ProbabilisticTheory): state separation PR Comment #480: Pull request #1672 opened by TomOleDiem
29s
29s
feat(ProbabilisticTheory): states PR Comment #479: Pull request #1671 opened by TomOleDiem
25s
25s
feat(ProbabilisticTheory): channels and weights PR Comment #478: Pull request #1670 opened by TomOleDiem
40s
40s
feat: weighted geometric sums at a primitive root of unity PR Comment #477: Pull request #1669 opened by naype888-cloud
35s
35s
feat(ProbabilisticTheory): effects PR Comment #476: Pull request #1668 opened by TomOleDiem
28s
28s
feat(ProbabilisticTheory): order-unit spaces PR Comment #475: Pull request #1667 opened by TomOleDiem
37s
37s
feat: unit extremal vector of the path observables on ℂ^d PR Comment #474: Pull request #1666 opened by naype888-cloud
28s
28s
feat: path graph transport and position observables on ℂ^d PR Comment #473: Pull request #1665 opened by naype888-cloud
34s
34s
perf(PauliMatrices): evaluate Levi-Civita components as a product of signs PR Comment #472: Pull request #1664 opened by zhikaip
29s
29s
docs(PauliMatrices): cite the published source for the three-Pauli identities PR Comment #471: Pull request #1663 opened by zhikaip
35s
35s