Skip to content

Actions: leanprover-community/physlib

Actions

PR Comment

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
PRMessage.yml
530 workflow runs
530 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(Tensors): HasContrDualBases, the dual-basis class, and the component formulas it collapses PR Comment #530: Pull request #1722 opened by pariandrea
32s
32s
feat(QuantumMechanics/Blackbody): Formalize Wien's displacement law PR Comment #529: Pull request #1721 opened by dwan-ith
32s
32s
feat(QuantumMechanics/Blackbody): extend Planck's law with wavelength form and radiation constants PR Comment #528: Pull request #1720 opened by dwan-ith
40s
40s
feat: Add foundational SU(n) files PR Comment #527: Pull request #1719 opened by jstoobysmith
30s
30s
feat(PhyslibAlpha): saturation of the uncertainty relation in the maximal current state PR Comment #526: Pull request #1718 opened by naype888-cloud
34s
34s
feat(PhyslibAlpha/QuantumMechanics): product states of a product of finite targets PR Comment #525: Pull request #1717 opened by naype888-cloud
37s
37s
feat(PhyslibAlpha): maximal current state of the open tight binding chain PR Comment #524: Pull request #1716 opened by naype888-cloud
29s
29s
chore: update pinned actions to their SHA-pinned releases PR Comment #523: Pull request #1715 opened by kim-em
34s
34s
chore: date the branch-named action pin comments PR Comment #522: Pull request #1714 opened by kim-em
28s
28s
refactor: Fix build PR Comment #521: Pull request #1713 opened by jstoobysmith
30s
30s
doc(Relativity): Correct documentation for realLorentzTensor PR Comment #520: Pull request #1712 opened by ereinhardt8
30s
30s
feat(PhyslibAlpha): Mandelstam–Tamm and Cramér–Rao in the open tight binding chain PR Comment #519: Pull request #1711 opened by naype888-cloud
33s
33s
feat: Reorganise the Mathematics directory PR Comment #518: Pull request #1710 opened by jstoobysmith
34s
34s
refactor(PhyslibAlpha): state the open chain uncertainty on its own Hilbert space PR Comment #517: Pull request #1709 opened by naype888-cloud
31s
31s
feat(PhyslibAlpha): current eigenstates of the open tight binding chain PR Comment #516: Pull request #1708 opened by naype888-cloud
27s
27s
feat: Add module_doc_lint to CI PR Comment #515: Pull request #1707 opened by jstoobysmith
34s
34s
feat(PhyslibAlpha/EM): Kirchhoff Current Law PR Comment #514: Pull request #1706 opened by jstoobysmith
45s
45s
chore: sync rm_set_option with mathlib, fix it on Windows, remove 29 respectTransparency options PR Comment #513: Pull request #1705 opened by zhikaip
30s
30s
fix: switch from ∧ to && in ZModCharges PR Comment #512: Pull request #1704 opened by wdconinc
29s
29s
chore: remove unused simp arguments in SuccSuccAbove PR Comment #511: Pull request #1703 opened by nateabr
35s
35s
feat(SpaceTime): the spacetime algebra and its Taylor series PR Comment #510: Pull request #1702 opened by nateabr
33s
33s
chore: import cleanup (lake shake, redundant_imports, remove import Mathlib) PR Comment #509: Pull request #1701 opened by zhikaip
36s
36s
feat: Add Auxiliary script test PR Comment #508: Pull request #1700 opened by jstoobysmith
26s
26s
feat: PhyslibAlpha/QuantumMechanics: operators on one coordinate of a product of finite targets PR Comment #507: Pull request #1699 opened by naype888-cloud
32s
32s
feat(ClassicalMechanics): add the Poisson bracket PR Comment #506: Pull request #1698 opened by Sudo-RR
27s
27s