Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
248 workflow runs
248 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 horizontal-line removability foundation (Morera-based appr… Lean Action CI #224: Commit cf2b2ca pushed by numina-fuse Bot
2m 7s numina/aqft-in-lean
numina/aqft-in-lean
2m 7s
Agent: Add strip-Liouville endgame theorem using Mathlib's Liouville … Lean Action CI #223: Commit f5b6d8a pushed by numina-fuse Bot
2m 5s numina/aqft-in-lean
numina/aqft-in-lean
2m 5s
Agent: Add proof that KMS states are α-invariant under their automorp… Lean Action CI #222: Commit 15c38a8 pushed by numina-fuse Bot
2m 11s numina/aqft-in-lean
numina/aqft-in-lean
2m 11s
Agent: Add KMS condition definitions and Killing-flow KMS connection Lean Action CI #221: Commit b8ef19b pushed by numina-fuse Bot
3m 51s numina/aqft-in-lean
numina/aqft-in-lean
3m 51s
Agent: Add operator covariance U(L) π(a) U(L)⁻¹ = π(β_L a) to GNS uni… Lean Action CI #220: Commit cfc3252 pushed by numina-fuse Bot
6m 10s numina/aqft-in-lean
numina/aqft-in-lean
6m 10s
Agent: Add blueprint section on curved-spacetime stabilizer GNS unita… Lean Action CI #219: Commit 2f262fa pushed by numina-fuse Bot
6m 7s numina/aqft-in-lean
numina/aqft-in-lean
6m 7s
Agent: Add strongly continuous curved-spacetime stabilizer GNS unitary Lean Action CI #218: Commit a0ee0a8 pushed by numina-fuse Bot
7m 49s numina/aqft-in-lean
numina/aqft-in-lean
7m 49s
Agent: Add stabilizer subgroup action and GNS unitary for curved loca… Lean Action CI #217: Commit 66620f1 pushed by numina-fuse Bot
5m 32s numina/aqft-in-lean
numina/aqft-in-lean
5m 32s
Agent: Add algebra-agnostic GNS unitary representation module Lean Action CI #216: Commit 44ccbbc pushed by numina-fuse Bot
8m 5s numina/aqft-in-lean
numina/aqft-in-lean
8m 5s
Agent: Add strongContinuous_of_weak: weak → strong continuity for u… Lean Action CI #215: Commit 1339566 pushed by numina-fuse Bot
6m 59s numina/aqft-in-lean
numina/aqft-in-lean
6m 59s
Agent: Add IsWeaklyContinuousAction to the curved Haag-Kastler net Lean Action CI #214: Commit 4a3eb1d pushed by numina-fuse Bot
5m 53s numina/aqft-in-lean
numina/aqft-in-lean
5m 53s
Agent: Add fiberwise state-relative weak-continuity predicate for Lor… Lean Action CI #213: Commit 0430567 pushed by numina-fuse Bot
5m 7s numina/aqft-in-lean
numina/aqft-in-lean
5m 7s
Agent (incomplete): Move Carrier normed-space instances to Minkowski.… Lean Action CI #212: Commit fe27574 pushed by numina-fuse Bot
8m 18s numina/aqft-in-lean
numina/aqft-in-lean
8m 18s
Agent: Add representation laws for U(L) in exists_gns_unitary Lean Action CI #211: Commit c1b0b8e pushed by numina-fuse Bot
6m 37s numina/aqft-in-lean
numina/aqft-in-lean
6m 37s
Merge pull request #12 from physicslib/numina/aqft-in-lean Lean Action CI #210: Commit 9a78b92 pushed by KellyJDavis
5m 18s main
main
5m 18s
Merge pull request #12 from physicslib/numina/aqft-in-lean Compile blueprint #20: Commit 9a78b92 pushed by KellyJDavis
46m 7s main
main
46m 7s
Expansion of spacetime related lemmas, definition of covariant states, and the beginnings of a vacuum defintion Lean Action CI #209: Pull request #12 synchronize by KellyJDavis
3m 15s numina/aqft-in-lean
numina/aqft-in-lean
3m 15s
Updated blueprint homepage Lean Action CI #208: Commit a9e3504 pushed by KellyJDavis
5m 57s numina/aqft-in-lean
numina/aqft-in-lean
5m 57s
Expansion of spacetime related lemmas, definition of covariant states, and the beginnings of a vacuum defintion Lean Action CI #207: Pull request #12 opened by KellyJDavis
5m 6s numina/aqft-in-lean
numina/aqft-in-lean
5m 6s
'lake exe mk_all' update Lean Action CI #206: Commit 77dfd8b pushed by KellyJDavis
5m 18s numina/aqft-in-lean
numina/aqft-in-lean
5m 18s
Agent: Add invariant state definition and GNS unitary implementation … Lean Action CI #205: Commit 75c1d40 pushed by numina-fuse Bot
2m 7s numina/aqft-in-lean
numina/aqft-in-lean
2m 7s
Agent: Add GNS unitary family U(L) construction for invariant states … Lean Action CI #204: Commit 41808c8 pushed by numina-fuse Bot
2m 5s numina/aqft-in-lean
numina/aqft-in-lean
2m 5s
Agent: Add IsInvariantState and GNS inner product invariance lemma Lean Action CI #203: Commit 25bb04d pushed by numina-fuse Bot
1m 56s numina/aqft-in-lean
numina/aqft-in-lean
1m 56s
Agent: Add group-action coherence lemmas for CovariantQuasilocalAlgebra Lean Action CI #202: Commit 4f33dd6 pushed by numina-fuse Bot
1m 51s numina/aqft-in-lean
numina/aqft-in-lean
1m 51s
Agent: Add CovariantQuasilocalAlgebra structure and blueprint defin… Lean Action CI #201: Commit c47ca9b pushed by numina-fuse Bot
1m 55s numina/aqft-in-lean
numina/aqft-in-lean
1m 55s