Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
414 workflow runs
414 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: Discharge sorry-proofs and update blueprint for precedence tra… Lean Action CI #376: Commit 58f47e6 pushed by numina-fuse Bot
5m 17s numina/aqft-in-lean
numina/aqft-in-lean
5m 17s
Agent: Refactor IsTrip/IsCausalTrip to piecewise transitive-closure d… Lean Action CI #375: Commit 265e018 pushed by numina-fuse Bot
16m 9s numina/aqft-in-lean
numina/aqft-in-lean
16m 9s
Agent: Add curved-net analogue of additive-free locality Lean Action CI #374: Commit ae2a1ed pushed by numina-fuse Bot
4m 2s numina/aqft-in-lean
numina/aqft-in-lean
4m 2s
Agent: Add additive-free locality lemma: R(B') ≤ R(B)' for B' ⊆ B^⊥ Lean Action CI #373: Commit 769f76b pushed by numina-fuse Bot
15m 2s numina/aqft-in-lean
numina/aqft-in-lean
15m 2s
Agent: Add spacelike complement API with antitone and double-compleme… Lean Action CI #372: Commit ad87353 pushed by numina-fuse Bot
9m 12s numina/aqft-in-lean
numina/aqft-in-lean
9m 12s
Merge pull request #26 from physicslib/numina/aqft-in-lean Compile blueprint #34: Commit 0f04a7e pushed by KellyJDavis
58m 27s main
main
58m 27s
Merge pull request #26 from physicslib/numina/aqft-in-lean Lean Action CI #371: Commit 0f04a7e pushed by KellyJDavis
6m 45s main
main
6m 45s
Numerous AQFT additions Lean Action CI #370: Pull request #26 opened by KellyJDavis
6m 21s numina/aqft-in-lean
numina/aqft-in-lean
6m 21s
Updated homepage Lean Action CI #369: Commit 44373e9 pushed by KellyJDavis
5m 21s numina/aqft-in-lean
numina/aqft-in-lean
5m 21s
Agent: Add pure-state dichotomy theorem to blueprint and Lean formali… Lean Action CI #368: Commit 7c6a28a pushed by numina-fuse Bot
5m 46s numina/aqft-in-lean
numina/aqft-in-lean
5m 46s
Agent: Add End(irreducible) = ℂ·1 lemma and curved irreducible dichot… Lean Action CI #367: Commit f81fb83 pushed by numina-fuse Bot
6m 26s numina/aqft-in-lean
numina/aqft-in-lean
6m 26s
Agent: Add Schur multiplicity lemma: intertwiner space between irredu… Lean Action CI #366: Commit a8143a6 pushed by numina-fuse Bot
6m 9s numina/aqft-in-lean
numina/aqft-in-lean
6m 9s
Agent: Add irreducible dichotomy theorem to superselection blueprint … Lean Action CI #365: Commit a94cd3c pushed by numina-fuse Bot
3m 40s numina/aqft-in-lean
numina/aqft-in-lean
3m 40s
Agent: Prove Schur's lemma and the irreducible dichotomy for unitary … Lean Action CI #364: Commit 422571a pushed by numina-fuse Bot
6m 4s numina/aqft-in-lean
numina/aqft-in-lean
6m 4s
Agent: Add blueprint entries for curve reparametrisation-invariance t… Lean Action CI #363: Commit f3c813e pushed by numina-fuse Bot
4m 34s numina/aqft-in-lean
numina/aqft-in-lean
4m 34s
Agent: Add blueprint entries for direct-sum, amplification, and reduc… Lean Action CI #362: Commit 113f270 pushed by numina-fuse Bot
4m 53s numina/aqft-in-lean
numina/aqft-in-lean
4m 53s
Agent: Add GNS amplification and reducibility corollary for direct sums Lean Action CI #361: Commit 1f6718c pushed by numina-fuse Bot
4m 7s numina/aqft-in-lean
numina/aqft-in-lean
4m 7s
Agent: Add direct-sum representation and summand subrepresentation re… Lean Action CI #360: Commit e452e6c pushed by numina-fuse Bot
4m 0s numina/aqft-in-lean
numina/aqft-in-lean
4m 0s
Agent: Add lpDiag diagonal operator with *-algebra-hom laws Lean Action CI #359: Commit 1425264 pushed by numina-fuse Bot
3m 53s numina/aqft-in-lean
numina/aqft-in-lean
3m 53s
Agent: Add blueprint definitions for unitary equivalence, disjointnes… Lean Action CI #358: Commit 0e793d4 pushed by numina-fuse Bot
4m 32s numina/aqft-in-lean
numina/aqft-in-lean
4m 32s
Agent: Add disjointness and quasi-equivalence of representations Lean Action CI #357: Commit e5360ad pushed by numina-fuse Bot
3m 45s numina/aqft-in-lean
numina/aqft-in-lean
3m 45s
Agent: Add UnitaryEquiv for representations and prove it is an equi… Lean Action CI #356: Commit 2a365bd pushed by numina-fuse Bot
6m 22s numina/aqft-in-lean
numina/aqft-in-lean
6m 22s
Agent: Add projection OrientedSmoothCurve → SmoothCurve with causal c… Lean Action CI #355: Commit cfc440c pushed by numina-fuse Bot
9m 44s numina/aqft-in-lean
numina/aqft-in-lean
9m 44s
Agent: Lift causal/orientation predicates to SmoothCurve and Oriented… Lean Action CI #354: Commit 8fe8ecf pushed by numina-fuse Bot
7m 19s numina/aqft-in-lean
numina/aqft-in-lean
7m 19s
Agent: Add OrientedSmoothPathEquiv and prove orientation invariance u… Lean Action CI #353: Commit 8ee847b pushed by numina-fuse Bot
7m 3s numina/aqft-in-lean
numina/aqft-in-lean
7m 3s