Skip to content

Actions: QuCompLean/QCLib

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
293 workflow runs
293 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
hadamard fixed Lean Action CI #292: Commit b8156f0 pushed by PrParadoxy
2m 21s EuclideanSpace
EuclideanSpace
2m 21s
piKroneckerUnitary_smul_vec Lean Action CI #291: Commit edd57da pushed by PrParadoxy
2m 18s EuclideanSpace
EuclideanSpace
2m 18s
Pi namespace Lean Action CI #290: Commit 52c77f4 pushed by PrParadoxy
2m 28s EuclideanSpace
EuclideanSpace
2m 28s
Added DJ and Grover's search proofs Lean Action CI #289: Commit 53119af pushed by gpafentakis
12m 41s QuantumAlgos
QuantumAlgos
12m 41s
Added a metaprogramming version of matrix_neq and a unit tests file Lean Action CI #288: Commit 20dae29 pushed by gpafentakis
10m 22s QuantumAlgos
QuantumAlgos
10m 22s
Merge branch 'EuclideanSpace' of https://github.com/QuCompLean/QCLib … Lean Action CI #287: Commit 1a07499 pushed by PrParadoxy
2m 1s EuclideanSpace
EuclideanSpace
2m 1s
1 Lean Action CI #286: Commit 830574c pushed by goliath-klein
2m 30s EuclideanSpace
EuclideanSpace
2m 30s
some thoughts Lean Action CI #285: Commit 13881b1 pushed by goliath-klein
2m 3s EuclideanSpace
EuclideanSpace
2m 3s
EuclideanSpace outerProduct properties Lean Action CI #284: Commit d130e8e pushed by PrParadoxy
2m 17s EuclideanSpace
EuclideanSpace
2m 17s
Added a metaprogramming version of matrix_neq and a unit tests file Lean Action CI #283: Commit 20dae29 pushed by gpafentakis
13m 23s master
master
13m 23s
permutation fixed Lean Action CI #282: Commit d91d760 pushed by PrParadoxy
1m 54s EuclideanSpace
EuclideanSpace
1m 54s
qubit file fixed Lean Action CI #281: Commit debaf43 pushed by PrParadoxy
1m 28s EuclideanSpace
EuclideanSpace
1m 28s
piOuterProduct_ofLp_apply Lean Action CI #280: Commit 20af8f3 pushed by PrParadoxy
2m 5s EuclideanSpace
EuclideanSpace
2m 5s
smul_euclidean_vec_coe Lean Action CI #279: Commit b9f5a10 pushed by PrParadoxy
1m 49s EuclideanSpace
EuclideanSpace
1m 49s
Merge branch 'EuclideanSpace' of https://github.com/QuCompLean/QCLib … Lean Action CI #278: Commit 60e16ea pushed by PrParadoxy
1m 40s EuclideanSpace
EuclideanSpace
1m 40s
roll back changes that should have gone to other branch Lean Action CI #277: Commit 0140626 pushed by goliath-klein
10m 50s master
master
10m 50s
testing Lean Action CI #276: Commit 1c79ae4 pushed by goliath-klein
1m 45s EuclideanSpace
EuclideanSpace
1m 45s
issue? Lean Action CI #275: Commit 91e2c4a pushed by PrParadoxy
1m 6s EuclideanSpace
EuclideanSpace
1m 6s
.. Lean Action CI #274: Commit 22ca236 pushed by goliath-klein
2m 35s master
master
2m 35s
new StdBasis Lean Action CI #273: Commit e1a9d8f pushed by PrParadoxy
2m 5s EuclideanSpace
EuclideanSpace
2m 5s
ofDigits_ofDigitsBE_rec Lean Action CI #272: Commit c5cf0b2 pushed by PrParadoxy
10m 8s EuclideanSpace
EuclideanSpace
10m 8s
readme Lean Action CI #271: Commit 5c763ab pushed by goliath-klein
11m 36s EuclideanSpace
EuclideanSpace
11m 36s
ofDigits_ofDigitsBE_rec Lean Action CI #270: Commit c5cf0b2 pushed by PrParadoxy
11m 5s master
master
11m 5s
removing extra lemmas Lean Action CI #269: Commit a816c14 pushed by PrParadoxy
11m 27s master
master
11m 27s
readme Lean Action CI #268: Commit 5c763ab pushed by goliath-klein
11m 40s master
master
11m 40s