Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
339 workflow runs
339 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
unitary clm tprod Lean Action CI #338: Commit a74c393 pushed by PrParadoxy
3m 26s EuclideanSpace
EuclideanSpace
3m 26s
swaps Lean Action CI #337: Commit 681212a pushed by PrParadoxy
3m 14s EuclideanSpace
EuclideanSpace
3m 14s
slight improvement Lean Action CI #336: Commit d888023 pushed by PrParadoxy
3m 39s EuclideanSpace
EuclideanSpace
3m 39s
. Lean Action CI #335: Commit 5ae3b9c pushed by PrParadoxy
3m 19s EuclideanSpace
EuclideanSpace
3m 19s
controllize_eq_controllizeRight_swap Lean Action CI #334: Commit 68cce70 pushed by PrParadoxy
3m 26s EuclideanSpace
EuclideanSpace
3m 26s
. Lean Action CI #333: Commit 1cab243 pushed by PrParadoxy
2m 53s EuclideanSpace
EuclideanSpace
2m 53s
start of OuterProduct replacement Lean Action CI #332: Commit d348eb2 pushed by PrParadoxy
3m 22s EuclideanSpace
EuclideanSpace
3m 22s
StarMulEquiv.piCongrRight Lean Action CI #331: Commit 2b9c1ba pushed by PrParadoxy
3m 2s EuclideanSpace
EuclideanSpace
3m 2s
OuterProduct and refactors Lean Action CI #330: Commit 36aef9a pushed by PrParadoxy
2m 8s EuclideanSpace
EuclideanSpace
2m 8s
checkpoint Lean Action CI #329: Commit 0d95eeb pushed by PrParadoxy
10m 58s EuclideanSpace
EuclideanSpace
10m 58s
. Lean Action CI #328: Commit a58aa3a pushed by PrParadoxy
10m 37s EuclideanSpace
EuclideanSpace
10m 37s
full clean up Lean Action CI #327: Commit b08fea4 pushed by PrParadoxy
1m 44s EuclideanSpace
EuclideanSpace
1m 44s
clean up Lean Action CI #326: Commit 8b6a205 pushed by PrParadoxy
12m 51s EuclideanSpace
EuclideanSpace
12m 51s
𝓕_conj_𝓓 Lean Action CI #325: Commit d41bb82 pushed by PrParadoxy
13m 15s EuclideanSpace
EuclideanSpace
13m 15s
X_Z_anticomm_zpow Lean Action CI #324: Commit f202987 pushed by PrParadoxy
3m 17s EuclideanSpace
EuclideanSpace
3m 17s
ζ_zpow_eq_zpow_iff_modEq Lean Action CI #323: Commit 4badc1e pushed by PrParadoxy
3m 1s EuclideanSpace
EuclideanSpace
3m 1s
X_zpow_apply Lean Action CI #322: Commit e26c14a pushed by PrParadoxy
3m 18s EuclideanSpace
EuclideanSpace
3m 18s
X and Z self adjoints Lean Action CI #321: Commit 5016d78 pushed by PrParadoxy
2m 47s EuclideanSpace
EuclideanSpace
2m 47s
. Lean Action CI #320: Commit 48a88b4 pushed by PrParadoxy
2m 53s EuclideanSpace
EuclideanSpace
2m 53s
X_pow_apply' Lean Action CI #319: Commit d5c4fbd pushed by PrParadoxy
3m 7s EuclideanSpace
EuclideanSpace
3m 7s
. Lean Action CI #318: Commit 6e43aa3 pushed by PrParadoxy
3m 5s EuclideanSpace
EuclideanSpace
3m 5s
. Lean Action CI #317: Commit d6442df pushed by PrParadoxy
2m 47s EuclideanSpace
EuclideanSpace
2m 47s
. Lean Action CI #316: Commit cc4bfeb pushed by PrParadoxy
3m 30s EuclideanSpace
EuclideanSpace
3m 30s
Z_pow_apply Lean Action CI #315: Commit 0886361 pushed by PrParadoxy
3m 27s EuclideanSpace
EuclideanSpace
3m 27s
. Lean Action CI #314: Commit 4c92108 pushed by PrParadoxy
2m 34s EuclideanSpace
EuclideanSpace
2m 34s