Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
358 workflow runs
358 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 #357: Commit d2f725a pushed by PrParadoxy
4m 18s EuclideanSpace
EuclideanSpace
4m 18s
bipartite first revision Lean Action CI #356: Commit 9fcd73a pushed by PrParadoxy
3m 41s EuclideanSpace
EuclideanSpace
3m 41s
single refactored Lean Action CI #355: Commit bd7b386 pushed by PrParadoxy
4m 44s EuclideanSpace
EuclideanSpace
4m 44s
bipartite_diagonal Lean Action CI #354: Commit 56a5d55 pushed by PrParadoxy
4m 14s EuclideanSpace
EuclideanSpace
4m 14s
bipartite_apply_basis' Lean Action CI #353: Commit eb417de pushed by PrParadoxy
5m 3s EuclideanSpace
EuclideanSpace
5m 3s
bipartite_apply_basis Lean Action CI #352: Commit e80c4f6 pushed by PrParadoxy
13s EuclideanSpace
EuclideanSpace
13s
. Lean Action CI #351: Commit 26d3e43 pushed by PrParadoxy
4m 48s EuclideanSpace
EuclideanSpace
4m 48s
single done Lean Action CI #350: Commit f864c53 pushed by PrParadoxy
4m 39s EuclideanSpace
EuclideanSpace
4m 39s
single_mul Lean Action CI #349: Commit 1f82abc pushed by PrParadoxy
4m 9s EuclideanSpace
EuclideanSpace
4m 9s
. Lean Action CI #348: Commit bf5bcce pushed by PrParadoxy
3m 57s EuclideanSpace
EuclideanSpace
3m 57s
simpler proof Lean Action CI #347: Commit 8667c85 pushed by PrParadoxy
3m 56s EuclideanSpace
EuclideanSpace
3m 56s
single_apply_basis' Lean Action CI #346: Commit ef40e34 pushed by PrParadoxy
4m 28s EuclideanSpace
EuclideanSpace
4m 28s
single_apply_basis Lean Action CI #345: Commit 63a0c88 pushed by PrParadoxy
3m 47s EuclideanSpace
EuclideanSpace
3m 47s
. 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