Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
331 workflow runs
331 workflow runs

Filter by Workflow

⌥ + click/return to exclude

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
Agent: Add convexity theorems for KMS states on quasilocal algebras Lean Action CI #297: Commit 7753498 pushed by numina-fuse Bot
4m 15s numina/aqft-in-lean
numina/aqft-in-lean
4m 15s
Revert "New image" Lean Action CI #296: Commit 982202c pushed by KellyJDavis
4m 14s spectral-theorems
spectral-theorems
4m 14s
Revert "New image" Lean Action CI #295: Commit 982202c pushed by KellyJDavis
4m 18s numina/aqft-in-lean
numina/aqft-in-lean
4m 18s
Merge pull request #22 from physicslib/readme Compile blueprint #30: Commit c37f6b4 pushed by KellyJDavis
59m 17s main
main
59m 17s
Merge pull request #22 from physicslib/readme Lean Action CI #294: Commit c37f6b4 pushed by KellyJDavis
5m 41s main
main
5m 41s
Updated README Lean Action CI #293: Pull request #22 opened by KellyJDavis
5m 26s readme
readme
5m 26s
Revert "New image" Lean Action CI #292: Commit e814614 pushed by KellyJDavis
3m 49s readme
readme
3m 49s
New image Lean Action CI #291: Commit 8c773fb pushed by KellyJDavis
5m 59s readme
readme
5m 59s
Expanded README Lean Action CI #290: Commit cb7dbe3 pushed by KellyJDavis
3m 30s readme
readme
3m 30s
Merge pull request #21 from physicslib/numina/aqft-in-lean Lean Action CI #289: Commit a614664 pushed by KellyJDavis
4m 9s readme
readme
4m 9s
Agent: Add convexity of the KMS state set Lean Action CI #288: Commit 4bd2190 pushed by numina-fuse Bot
4m 10s numina/aqft-in-lean
numina/aqft-in-lean
4m 10s
Merge pull request #21 from physicslib/numina/aqft-in-lean Compile blueprint #29: Commit a614664 pushed by KellyJDavis
56m 24s main
main
56m 24s
Merge pull request #21 from physicslib/numina/aqft-in-lean Lean Action CI #287: Commit a614664 pushed by KellyJDavis
5m 48s main
main
5m 48s
Added various standard AQFT theorems and definitions Lean Action CI #286: Pull request #21 opened by KellyJDavis
5m 54s numina/aqft-in-lean
numina/aqft-in-lean
5m 54s
Updated homepage Lean Action CI #285: Commit bb86ba5 pushed by KellyJDavis
4m 44s numina/aqft-in-lean
numina/aqft-in-lean
4m 44s
Agent: Lift microcausality and isotony to bundled VonNeumannAlgebra o… Lean Action CI #284: Commit d49e76e pushed by numina-fuse Bot
4m 54s numina/aqft-in-lean
numina/aqft-in-lean
4m 54s
Agent: Register R(B) as a VonNeumannAlgebra via bicommutant idempotency Lean Action CI #283: Commit ff8fc8a pushed by numina-fuse Bot
7m 2s numina/aqft-in-lean
numina/aqft-in-lean
7m 2s
Agent: Add pure-state ⟹ factor-representation theorem Lean Action CI #282: Commit 5c5eb6a pushed by numina-fuse Bot
5m 10s numina/aqft-in-lean
numina/aqft-in-lean
5m 10s
Agent: Add purity-invariant-under-automorphism lemma and its net spec… Lean Action CI #281: Commit 2bfbcc3 pushed by numina-fuse Bot
5m 55s numina/aqft-in-lean
numina/aqft-in-lean
5m 55s
Agent: Rename "vacuum representation" theorems to avoid premature vac… Lean Action CI #280: Commit 3f46b67 pushed by numina-fuse Bot
5m 18s numina/aqft-in-lean
numina/aqft-in-lean
5m 18s
Agent: Add vacuum representation theorems for Minkowski and curved sp… Lean Action CI #279: Commit 1b2fb29 pushed by numina-fuse Bot
4m 0s numina/aqft-in-lean
numina/aqft-in-lean
4m 0s
Agent: Add Minkowski Haag-Kastler purity corollaries for the quasiloc… Lean Action CI #278: Commit e982fec pushed by numina-fuse Bot
6m 56s numina/aqft-in-lean
numina/aqft-in-lean
6m 56s
Agent: Add purity characterization for curved Haag-Kastler local alge… Lean Action CI #277: Commit e4324f6 pushed by numina-fuse Bot
3m 51s numina/aqft-in-lean
numina/aqft-in-lean
3m 51s
Agent: Add pure state ↔ extreme point equivalence with norm identity Lean Action CI #276: Commit 148839f pushed by numina-fuse Bot
4m 30s numina/aqft-in-lean
numina/aqft-in-lean
4m 30s
Merge pull request #20 from physicslib/numina/aqft-in-lean Lean Action CI #275: Commit 06689b7 pushed by KellyJDavis
3m 59s qft
qft
3m 59s