Skip to content

Actions: leanprover-community/physlib

Actions

PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PRMessage.yml
304 workflow runs
304 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: Add down singlets (Stacked on #1430) PR Comment #304: Pull request #1463 opened by nateabr
31s
31s
feat(quantum-mechanics): mulOperator domain and add/sub PR Comment #303: Pull request #1462 opened by gloges
31s
31s
feat(PhyslibAlpha): Add results of 2606.13889 to PhyslibAlpha as informal lemmas PR Comment #302: Pull request #1461 opened by jstoobysmith
29s
29s
docs(quantum-mechanics): add to mulOperator documentation PR Comment #301: Pull request #1460 opened by gloges
30s
30s
Define EFTLagrangianExclDeriv for the Higgs field PR Comment #300: Pull request #1459 opened by nateabr
50s
50s
feat: Added PR template PR Comment #299: Pull request #1458 opened by Alex-Zughaid
33s
33s
docs(QuantumMechanics): add Hilbert space API map PR Comment #298: Pull request #1456 opened by gloges
27s
27s
auto-task(QuantumInfo.ClassicalInfo.Capacity): minimize imports PR Comment #297: Pull request #1455 opened by Alex-Zughaid
30s
30s
feat(QuantumMechanics): derivative operators via Fourier-conjugated m… PR Comment #296: Pull request #1454 opened by adambornemann-glitch
31s
31s
feat: Github actions workflow to send a message to Zulip thread PR Comment #295: Pull request #1453 opened by Alex-Zughaid
30s
30s
[fix maintenance] Fix a typo preventing script from running PR Comment #294: Pull request #1452 opened by Alex-Zughaid
41s
41s
[feat infrastructure] Added actions scripts to count no. of reviewers PR Comment #293: Pull request #1451 opened by Alex-Zughaid
28s
28s
docs(fluid-dynamics): add fluid API map PR Comment #292: Pull request #1450 opened by Robby955
32s
32s
refactor(QuantumMechanics): rename SelfAdjoint to Symmetric PR Comment #291: Pull request #1449 opened by KrystianNowakowski
34s
34s
feat(QuantumMechanics): add algebraic properties for mulOperator PR Comment #290: Pull request #1448 opened by gloges
38s
38s
feat(Units): parameterise Dimension and its unit twin over a basis (Stacked on #1445) PR Comment #289: Pull request #1447 opened by NicolasRouquette
34s
34s
feat(Mathematics): Schwartz multiplier by the affine resolvent symbol PR Comment #288: Pull request #1446 opened by adambornemann-glitch
31s
31s
chore: Bump v4.32.0 PR Comment #287: Pull request #1445 opened by NicolasRouquette
33s
33s
docs(classical-mechanics): add configuration API maps PR Comment #286: Pull request #1444 opened by Robby955
27s
27s
feat(QuantumMechanics): adjoint of continuous operators PR Comment #285: Pull request #1443 opened by gloges
28s
28s
feat(QuantumMechanics): basic properties/defs for HarmonicOscillator PR Comment #284: Pull request #1442 opened by gloges
29s
29s
feat(CondensedMatter): add the thermoelectric figure of merit PR Comment #283: Pull request #1440 opened by gbarbalinardo
29s
29s
docs(electromagnetism): add kinematics API map PR Comment #282: Pull request #1439 opened by Robby955
30s
30s
docs(classical-field): add gauge theory API map PR Comment #281: Pull request #1438 opened by Robby955
33s
33s
ci: lint API maps PR Comment #280: Pull request #1436 opened by Robby955
29s
29s