Skip to content

Actions: leanprover-community/physlib

Actions

Autolabel PRs

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
add_label_from_diff.yaml
57 workflow runs
57 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: define free-derivative symmetries by algebra automorphisms Autolabel PRs #57: Commit a9b5f9f pushed by nateabr
1m 47s free-deriv-symmetry-api
free-deriv-symmetry-api
1m 47s
feat(ClassicalMechanics): inertia tensor about a point and the parallel-axis theorem Autolabel PRs #56: Pull request #1475 opened by giuseppesorge
11m 4s
11m 4s
EVMPR theorem twoState_helmholtzFreeEnergy_eq Autolabel PRs #55: Pull request #1474 opened by korolrom
1m 24s
1m 24s
feat: API map index generator and guide Autolabel PRs #54: Pull request #1473 opened by Robby955
1m 45s
1m 45s
refactor: remove erw from wave equation proofs Autolabel PRs #53: Pull request #1472 opened by Robertboy18
1m 25s
1m 25s
feat(Mathematics): ContDiff and HasTemperateGrowth for physHermite Autolabel PRs #52: Pull request #1471 opened by gloges
1m 25s
1m 25s
Update README to remove name change note Autolabel PRs #51: Pull request #1470 opened by jstoobysmith
1m 37s
1m 37s
Copilot attempt at making a few diffs for the website Autolabel PRs #50: Pull request #1469 opened by Alex-Zughaid
1m 38s
1m 38s
feat(mathematics): add the degree-wise linear universal property of the symmetric algebra Autolabel PRs #49: Pull request #1468 opened by nateabr
1m 33s
1m 33s
docs(space-and-time): add SpaceTime API map Autolabel PRs #48: Pull request #1467 opened by Robby955
1m 25s
1m 25s
docs(space-and-time): add Galilean group and TimeAndSpace API maps Autolabel PRs #47: Pull request #1466 opened by Robby955
1m 36s
1m 36s
feat(Mathematics): SchwartzMap Gaussians Autolabel PRs #46: Pull request #1465 opened by gloges
1m 26s
1m 26s
feat: Add lepton singlets Autolabel PRs #45: Pull request #1464 opened by nateabr
1m 30s
1m 30s
feat: Add down singlets Autolabel PRs #44: Pull request #1463 opened by nateabr
1m 46s
1m 46s
docs(quantum-mechanics): add to mulOperator documentation (#1460) Autolabel PRs #43: Commit c484336 pushed by jstoobysmith
1m 20s v4.32.0
v4.32.0
1m 20s
feat(quantum-mechanics): mulOperator domain and add/sub Autolabel PRs #42: Pull request #1462 opened by gloges
1m 23s
1m 23s
feat(PhyslibAlpha): Add results of 2606.13889 to PhyslibAlpha as informal lemmas Autolabel PRs #41: Pull request #1461 opened by jstoobysmith
1m 31s
1m 31s
docs(quantum-mechanics): add to mulOperator documentation Autolabel PRs #40: Pull request #1460 opened by gloges
1m 42s
1m 42s
Define EFTLagrangianExclDeriv for the Higgs field Autolabel PRs #39: Pull request #1459 opened by nateabr
1m 35s
1m 35s
feat: Added PR template Autolabel PRs #38: Pull request #1458 opened by Alex-Zughaid
1m 32s
1m 32s
docs(QuantumMechanics): add Hilbert space API map Autolabel PRs #37: Pull request #1456 opened by gloges
1m 27s
1m 27s
auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports Autolabel PRs #36: Pull request #1455 opened by Alex-Zughaid
1m 24s
1m 24s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… Autolabel PRs #35: Pull request #1454 opened by adambornemann-glitch
1m 28s
1m 28s
feat: Github actions workflow to send a message to Zulip thread Autolabel PRs #34: Pull request #1453 opened by Alex-Zughaid
1m 31s
1m 31s
[fix maintenance] Fix a typo preventing script from running Autolabel PRs #33: Pull request #1452 opened by Alex-Zughaid
1m 42s
1m 42s