Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
345 workflow runs
345 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
. Lean Action CI #344: Commit 9386e89 pushed by PrParadoxy
4m 6s EuclideanSpace
EuclideanSpace
4m 6s
. Lean Action CI #343: Commit 56e63f4 pushed by PrParadoxy
3m 59s EuclideanSpace
EuclideanSpace
3m 59s
single_eq_prod Lean Action CI #342: Commit a9cc5f7 pushed by PrParadoxy
3m 26s EuclideanSpace
EuclideanSpace
3m 26s
new formalism Lean Action CI #341: Commit ab38f74 pushed by PrParadoxy
2m 55s EuclideanSpace
EuclideanSpace
2m 55s
. Lean Action CI #340: Commit 848fa6f pushed by PrParadoxy
3m 32s EuclideanSpace
EuclideanSpace
3m 32s
better piKroneckerUnitary_smul_univ Lean Action CI #339: Commit 343d2fe pushed by PrParadoxy
3m 29s EuclideanSpace
EuclideanSpace
3m 29s
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