Skip to content

Actions: physicslib/physicslib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
549 workflow runs
549 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 CStarCompletion abbreviation and link blueprint node Lean Action CI #506: Commit acad753 pushed by numina-fuse Bot
In progress numina/aqft-in-lean
numina/aqft-in-lean
In progress
Agent: Add C*-completion file and mark blueprint nodes as proved Lean Action CI #505: Commit d9cf352 pushed by numina-fuse Bot
In progress numina/aqft-in-lean
numina/aqft-in-lean
In progress
Agent: Mark colimit norm, normed algebra, and C*-ring lemmas as proved Lean Action CI #504: Commit d116264 pushed by numina-fuse Bot
7m 24s numina/aqft-in-lean
numina/aqft-in-lean
7m 24s
Agent: Document colimit instance synthesis obstacle for quasilocal no… Lean Action CI #503: Commit 7403b04 pushed by numina-fuse Bot
5m 33s numina/aqft-in-lean
numina/aqft-in-lean
5m 33s
Agent: Mark quasilocal colimit norm and common-representatives lemmas… Lean Action CI #502: Commit c7b5386 pushed by numina-fuse Bot
8m 47s numina/aqft-in-lean
numina/aqft-in-lean
8m 47s
Agent: Add QuasilocalColimit file with Diamond index type and Directe… Lean Action CI #501: Commit d4ab2ec pushed by numina-fuse Bot
5m 7s numina/aqft-in-lean
numina/aqft-in-lean
5m 7s
Agent: Prove bicommutant_inter_eq and mark blueprint lemma as forma… Lean Action CI #500: Commit 079be98 pushed by numina-fuse Bot
7m 31s numina/aqft-in-lean
numina/aqft-in-lean
7m 31s
Agent: Consolidate blueprint completion-block nodes and record constr… Lean Action CI #499: Commit 77908d7 pushed by numina-fuse Bot
8m 6s numina/aqft-in-lean
numina/aqft-in-lean
8m 6s
Agent: Fix over-claim in thrm:causally-complete-lattice by listing ac… Lean Action CI #498: Commit 7ea9bc2 pushed by numina-fuse Bot
4m 58s numina/aqft-in-lean
numina/aqft-in-lean
4m 58s
Agent: Add \uses dependencies to isotony and local-commutativity de… Lean Action CI #497: Commit 768e5fd pushed by numina-fuse Bot
6m 27s numina/aqft-in-lean
numina/aqft-in-lean
6m 27s
Agent: Expand blueprint proof notes for bilinearComp smoothness node Lean Action CI #496: Commit 8d2c3b1 pushed by numina-fuse Bot
4m 55s numina/aqft-in-lean
numina/aqft-in-lean
4m 55s
Update 13 files Lean Action CI #495: Commit e1eb83e pushed by numina-fuse Bot
5m 35s numina/aqft-in-lean
numina/aqft-in-lean
5m 35s
Agent: Add scratch Lean files to .gitignore Lean Action CI #494: Commit 887b039 pushed by numina-fuse Bot
4m 38s numina/aqft-in-lean
numina/aqft-in-lean
4m 38s
Update 10 files Lean Action CI #493: Commit c855aff pushed by numina-fuse Bot
4m 15s numina/aqft-in-lean
numina/aqft-in-lean
4m 15s
Agent: Update blueprint section path in LocalAlgebras docstring Lean Action CI #492: Commit a7e3d22 pushed by numina-fuse Bot
5m 0s numina/aqft-in-lean
numina/aqft-in-lean
5m 0s
Renamed files in prep for addition of the Spectral Theorems Lean Action CI #491: Commit ab6b8e9 pushed by KellyJDavis
5m 45s numina/aqft-in-lean
numina/aqft-in-lean
5m 45s
Merge pull request #30 from physicslib/proposal Compile blueprint #38: Commit 63244a6 pushed by KellyJDavis
49m 50s main
main
49m 50s
Merge pull request #30 from physicslib/proposal Lean Action CI #490: Commit 63244a6 pushed by KellyJDavis
5m 19s main
main
5m 19s
Added old research proposal Lean Action CI #489: Pull request #30 opened by KellyJDavis
6m 37s proposal
proposal
6m 37s
Added old research proposal Lean Action CI #488: Commit b8a1f28 pushed by KellyJDavis
3m 57s proposal
proposal
3m 57s
Merge pull request #29 from physicslib/numina/aqft-in-lean Lean Action CI #487: Commit 23fb58a pushed by KellyJDavis
6m 56s proposal
proposal
6m 56s
Agent: Resolve open API question for smoothness of x ↦ dψ_x in hom-bu… Lean Action CI #486: Commit 9acacb6 pushed by numina-fuse Bot
3m 44s numina/aqft-in-lean
numina/aqft-in-lean
3m 44s
Agent: Collapse blueprint nodes subsumed by Mathlib's DirectLimit ins… Lean Action CI #485: Commit 0b987d4 pushed by numina-fuse Bot
5m 15s numina/aqft-in-lean
numina/aqft-in-lean
5m 15s
Agent: Add three quasilocal-algebra supporting lemmas to blueprint Lean Action CI #484: Commit 69fce66 pushed by numina-fuse Bot
6m 41s numina/aqft-in-lean
numina/aqft-in-lean
6m 41s
Agent: Parametrise QuasilocalAlgebra by the Axiom 2 isotony family Lean Action CI #483: Commit 24e7c49 pushed by numina-fuse Bot
7m 7s numina/aqft-in-lean
numina/aqft-in-lean
7m 7s