Skip to content

Actions: themathqueen/monlib4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
114 workflow runs
114 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

matrix quantum graph file .github/workflows/push.yml #115: Commit fb8014f pushed by themathqueen
December 9, 2024 20:23 30m 26s main
main
December 9, 2024 20:23 30m 26s
more lemmas for pimat .github/workflows/push.yml #114: Commit 7de5034 pushed by themathqueen
December 6, 2024 20:06 27m 18s main
main
December 6, 2024 20:06 27m 18s
some more lemmas for PiMat .github/workflows/push.yml #113: Commit 7be8f09 pushed by themathqueen
December 5, 2024 15:55 26m 42s main
main
December 5, 2024 15:55 26m 42s
PiMat_submodule_eq_zero_iff_swap_eq_zero_of_adjoint .github/workflows/push.yml #112: Commit db5be75 pushed by themathqueen
December 2, 2024 11:28 24m 45s main
main
December 2, 2024 11:28 24m 45s
numOfEdges for tracial counit .github/workflows/push.yml #111: Commit 9b9b015 pushed by themathqueen
November 30, 2024 11:56 40m 27s main
main
November 30, 2024 11:56 40m 27s
graph gradient .github/workflows/push.yml #110: Commit 0e5c500 pushed by themathqueen
November 22, 2024 16:25 24m 11s main
main
November 22, 2024 16:25 24m 11s
remove modAut_zero .github/workflows/push.yml #109: Commit e8eaaf2 pushed by themathqueen
November 20, 2024 19:12 23m 58s main
main
November 20, 2024 19:12 23m 58s
docs .github/workflows/push.yml #108: Commit ca19c26 pushed by themathqueen
November 20, 2024 18:10 23m 50s main
main
November 20, 2024 18:10 23m 50s
QS.Subset.lean .github/workflows/push.yml #107: Commit 718dbe7 pushed by themathqueen
November 20, 2024 14:37 23m 45s main
main
November 20, 2024 14:37 23m 45s
fix .github/workflows/push.yml #106: Commit 2539021 pushed by themathqueen
November 20, 2024 13:57 26m 9s main
main
November 20, 2024 13:57 26m 9s
fix .github/workflows/push.yml #105: Commit 31c881b pushed by themathqueen
November 19, 2024 20:44 24m 56s main
main
November 19, 2024 20:44 24m 56s
fix bug .github/workflows/push.yml #104: Commit bf243b2 pushed by themathqueen
November 19, 2024 19:23 24m 38s main
main
November 19, 2024 19:23 24m 38s
upsilon_eq' .github/workflows/push.yml #103: Commit 47023c1 pushed by themathqueen
November 19, 2024 13:13 24m 43s main
main
November 19, 2024 13:13 24m 43s
adding stuff for counit on PiMat .github/workflows/push.yml #102: Commit 5719f5f pushed by themathqueen
November 15, 2024 15:20 24m 9s main
main
November 15, 2024 15:20 24m 9s
golf few proofs .github/workflows/push.yml #101: Commit 0c7e14f pushed by themathqueen
November 15, 2024 13:43 24m 19s main
main
November 15, 2024 13:43 24m 19s
fixes .github/workflows/push.yml #100: Commit a96811b pushed by themathqueen
November 15, 2024 08:38 23m 57s main
main
November 15, 2024 08:38 23m 57s
fix .github/workflows/push.yml #99: Commit c1ff73d pushed by themathqueen
November 14, 2024 22:18 22m 43s main
main
November 14, 2024 22:18 22m 43s
remove gns/kms in QuantumGraph.Degree .github/workflows/push.yml #98: Commit 5beb572 pushed by themathqueen
November 14, 2024 21:19 23m 35s main
main
November 14, 2024 21:19 23m 35s
mathbump and other updates .github/workflows/push.yml #97: Commit 7e5e06c pushed by themathqueen
November 8, 2024 16:06 37m 41s main
main
November 8, 2024 16:06 37m 41s
qg.degree .github/workflows/push.yml #96: Commit c853402 pushed by themathqueen
November 7, 2024 10:29 23m 55s main
main
November 7, 2024 10:29 23m 55s
QIso basic file .github/workflows/push.yml #95: Commit 51dcbcb pushed by themathqueen
November 2, 2024 16:46 37m 4s main
main
November 2, 2024 16:46 37m 4s
remove gns for symmMap_eq .github/workflows/push.yml #94: Commit e86991f pushed by themathqueen
October 26, 2024 14:48 37m 45s main
main
October 26, 2024 14:48 37m 45s
fix .github/workflows/push.yml #93: Commit a3ded8a pushed by themathqueen
July 18, 2024 17:38 22m 26s main
main
July 18, 2024 17:38 22m 26s
docs .github/workflows/push.yml #92: Commit 7a16f7f pushed by themathqueen
July 18, 2024 17:08 23m 0s main
main
July 18, 2024 17:08 23m 0s
upsilon_submodule_of_conj_iso .github/workflows/push.yml #91: Commit d3a189b pushed by themathqueen
July 17, 2024 08:51 22m 7s main
main
July 17, 2024 08:51 22m 7s