Skip to content

Actions: focs-lab/trace-theory-lean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
215 workflow runs
215 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
Complete scaffolding for proposition 1.4.6 Lean Action CI #64: Commit b47060a pushed by yisiox
2m 14s ys-working
ys-working
2m 14s
Remove unneeded newline Lean Action CI #63: Commit 940f75d pushed by yisiox
2m 59s ys-working
ys-working
2m 59s
Complete theorem 1.4.5 on G(D) is a monoid Lean Action CI #62: Commit b541f6c pushed by yisiox
4m 6s ys-working
ys-working
4m 6s
Complete proof that proposition 1.4.2 is wrong Lean Action CI #61: Commit 6426f24 pushed by yisiox
2m 21s ys-working
ys-working
2m 21s
Complete composition of d-graphs Lean Action CI #60: Commit 9269b9d pushed by yisiox
2m 11s ys-working
ys-working
2m 11s
Complete partially compose Lean Action CI #59: Commit b968f45 pushed by yisiox
2m 14s ys-working
ys-working
2m 14s
Fill graph dependency morphism properties 1, 2, 4 Lean Action CI #58: Commit 8fd427e pushed by jefrai
3m 31s main
main
3m 31s
Add suspicious proposition 1.4.2 Lean Action CI #57: Commit 24706bb pushed by yisiox
2m 22s ys-working
ys-working
2m 22s
Make naming of not equal consistent Lean Action CI #56: Commit 733de77 pushed by yisiox
3m 7s ys-working
ys-working
3m 7s
Complete 1.3.8 and clean-up slightly Lean Action CI #55: Commit de4b9d7 pushed by yisiox
3m 7s ys-working
ys-working
3m 7s
Complete lemma 1.3.7 Lean Action CI #54: Commit 4fbf715 pushed by yisiox
3m 11s ys-working
ys-working
3m 11s
Fix up to 1.3.6 Lean Action CI #53: Commit 204f66f pushed by yisiox
3m 6s ys-working
ys-working
3m 6s
Fix up to 1.3.7 Lean Action CI #52: Commit eb560c8 pushed by yisiox
3m 30s ys-working
ys-working
3m 30s
Add theorem 1.3.9 on natural homomorphism is dependence morphism Lean Action CI #51: Commit a5a8d59 pushed by yisiox
3m 46s ys-working
ys-working
3m 46s
Begin dependency morphism onto graph monoid Lean Action CI #50: Commit 236a116 pushed by jefrai
2m 32s main
main
2m 32s
Continue graph morphism surjectivity again Lean Action CI #49: Commit 52d6953 pushed by jefrai
2m 0s main
main
2m 0s
Continue graph morphism surjectivity Lean Action CI #48: Commit e4a8003 pushed by jefrai
2m 25s main
main
2m 25s
Write parts of graph morphism surjectivity Lean Action CI #47: Commit 7505fd8 pushed by jefrai
2m 5s main
main
2m 5s
Remove redundant symm use and clean-up slightly Lean Action CI #46: Commit 44176c7 pushed by yisiox
2m 52s ys-working
ys-working
2m 52s
Add alternative proof of exist_gcd and clean-up slightly Lean Action CI #45: Commit 38a357e pushed by yisiox
3m 9s ys-working
ys-working
3m 9s
Complete lcd existence proof Lean Action CI #44: Commit a3fe733 pushed by yisiox
2m 51s ys-working
ys-working
2m 51s
Add dependence graph inductive lemmas Lean Action CI #43: Commit 957f0ff pushed by jefrai
21m 45s main
main
21m 45s
Shorten commute -> comm Lean Action CI #42: Commit 6023ee5 pushed by yisiox
2m 54s ys-working
ys-working
2m 54s
Complete partially lemma about exists least common dominant Lean Action CI #41: Commit 2e203fa pushed by yisiox
2m 51s ys-working
ys-working
2m 51s
Clean-up minor details and complete exists gcp proof Lean Action CI #40: Commit c224638 pushed by yisiox
3m 15s ys-working
ys-working
3m 15s