Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
573 workflow runs
573 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: Expand Lean formalization note on H×H product topology vs norm Lean Action CI #529: Commit be61e4d pushed by numina-fuse Bot
2m 5s numina/aqft-in-lean
numina/aqft-in-lean
2m 5s
Agent: Add leanok tags and prove remaining sorry lemmas in unbounded … Lean Action CI #528: Commit 61d9fa0 pushed by numina-fuse Bot
1m 51s numina/aqft-in-lean
numina/aqft-in-lean
1m 51s
Agent: Mark hasSum_borelCalculus_indicator proof complete and add lea… Lean Action CI #527: Commit 71330f4 pushed by numina-fuse Bot
2m 4s numina/aqft-in-lean
numina/aqft-in-lean
2m 4s
Agent: Link def:identity-and-indicator to a new Lean theorem Lean Action CI #526: Commit e41cd70 pushed by numina-fuse Bot
2m 14s numina/aqft-in-lean
numina/aqft-in-lean
2m 14s
Agent: Remove stale \leanok tags from Section 10.2 blueprint entries Lean Action CI #525: Commit c9a4f26 pushed by numina-fuse Bot
2m 6s numina/aqft-in-lean
numina/aqft-in-lean
2m 6s
Add spectral theory modules and Haag-Kastler fixes Lean Action CI #524: Commit ac97898 pushed by numina-fuse Bot
2m 15s numina/aqft-in-lean
numina/aqft-in-lean
2m 15s
Added blueprints for bounded+unbounded spectral theorems Lean Action CI #523: Commit 6dd1546 pushed by KellyJDavis
5m 37s numina/aqft-in-lean
numina/aqft-in-lean
5m 37s
Merge pull request #31 from physicslib/numina/aqft-in-lean Lean Action CI #522: Commit 357af94 pushed by KellyJDavis
6m 50s main
main
6m 50s
Merge pull request #31 from physicslib/numina/aqft-in-lean Compile blueprint #39: Commit 357af94 pushed by KellyJDavis
53m 5s main
main
53m 5s
Numina/aqft in lean Lean Action CI #521: Pull request #31 opened by KellyJDavis
6m 39s numina/aqft-in-lean
numina/aqft-in-lean
6m 39s
Update using the blueprint LaTeX Lean Action CI #520: Commit eb800b5 pushed by KellyJDavis
7m 21s numina/aqft-in-lean
numina/aqft-in-lean
7m 21s
Fixing many small Fuse errors Lean Action CI #519: Commit b51d0fb pushed by KellyJDavis
9m 27s numina/aqft-in-lean
numina/aqft-in-lean
9m 27s
More small fixes Lean Action CI #518: Commit 169a318 pushed by KellyJDavis
5m 7s numina/aqft-in-lean
numina/aqft-in-lean
5m 7s
Fixed many little problems created by Fuse Lean Action CI #517: Commit 3d9c4ef pushed by KellyJDavis
Failure numina/aqft-in-lean
numina/aqft-in-lean
Failure
Removed scratch placeholder Lean Action CI #516: Commit f66ff58 pushed by KellyJDavis
2m 3s numina/aqft-in-lean
numina/aqft-in-lean
2m 3s
Moved QuasilocalCompleteness.lean to QuasilocalObservable.lean Lean Action CI #515: Commit 7872756 pushed by KellyJDavis
1m 51s numina/aqft-in-lean
numina/aqft-in-lean
1m 51s
Agent: Promote QuasilocalCompleteness to a theorem and encode Axiom… Lean Action CI #514: Commit 340ca7a pushed by numina-fuse Bot
1m 53s numina/aqft-in-lean
numina/aqft-in-lean
1m 53s
Agent: Add quasilocal existence theorem and supporting embedding lemmas Lean Action CI #513: Commit 9fe1676 pushed by numina-fuse Bot
2m 2s numina/aqft-in-lean
numina/aqft-in-lean
2m 2s
Agent: Update blueprint to reflect completed universe-tying fixes Lean Action CI #512: Commit 00fad42 pushed by numina-fuse Bot
4m 52s numina/aqft-in-lean
numina/aqft-in-lean
4m 52s
Agent: Make HaagKastlerNet and related structures universe-polymorphic Lean Action CI #511: Commit cb215a0 pushed by numina-fuse Bot
4m 59s numina/aqft-in-lean
numina/aqft-in-lean
4m 59s
Agent: Restrict QuasilocalAlgebra.ι to Alexandrov-basis sets only Lean Action CI #510: Commit 7b6f4b3 pushed by numina-fuse Bot
4m 40s numina/aqft-in-lean
numina/aqft-in-lean
4m 40s
Agent: Restructure Axiom 4 into separate conceptual nodes Lean Action CI #509: Commit fcb7b4b pushed by numina-fuse Bot
3m 50s numina/aqft-in-lean
numina/aqft-in-lean
3m 50s
Agent: Add frontier/endpoint lemmas and mark blueprint nodes as proved Lean Action CI #508: Commit 1f0c306 pushed by numina-fuse Bot
4m 38s numina/aqft-in-lean
numina/aqft-in-lean
4m 38s
Agent: Move misattributed Lean citations to correct blueprint nodes Lean Action CI #507: Commit 4992bf2 pushed by numina-fuse Bot
7m 5s numina/aqft-in-lean
numina/aqft-in-lean
7m 5s
Agent: Add CStarCompletion abbreviation and link blueprint node Lean Action CI #506: Commit acad753 pushed by numina-fuse Bot
6m 4s numina/aqft-in-lean
numina/aqft-in-lean
6m 4s