Skip to content

Actions: BasharHamade12/ControlSystemsLean

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
24 workflow runs
24 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
lemma 6.2 real case Lean Action CI #24: Commit fbba515 pushed by BasharHamade12
3m 59s master
master
3m 59s
complex case proof Lean Action CI #23: Commit afca80a pushed by BasharHamade12
3m 48s master
master
3m 48s
cleanup Lean Action CI #22: Commit 17148f5 pushed by BasharHamade12
2m 43s master
master
2m 43s
lemma 6.1 real case implemented, with an asterix Lean Action CI #21: Commit 7eddd5d pushed by BasharHamade12
3m 28s master
master
3m 28s
checkpoint Lean Action CI #20: Commit 1ee3bbe pushed by BasharHamade12
3m 16s master
master
3m 16s
exists_boundary_point_in_face_rootspace implemented Lean Action CI #19: Commit 96ee099 pushed by BasharHamade12
3m 59s master
master
3m 59s
iaiuhdh Lean Action CI #18: Commit 75b67c4 pushed by BasharHamade12
3m 24s master
master
3m 24s
sh Lean Action CI #17: Commit 272acb2 pushed by BasharHamade12
2m 42s master
master
2m 42s
wtf am I doing Lean Action CI #16: Commit 4998375 pushed by BasharHamade12
3m 14s master
master
3m 14s
case 0 Komisch Lean Action CI #15: Commit 770fe3e pushed by BasharHamade12
2m 56s master
master
2m 56s
begone already Lean Action CI #14: Commit 2dd2087 pushed by BasharHamade12
2m 9s master
master
2m 9s
whatever 2 Lean Action CI #13: Commit fc3f672 pushed by BasharHamade12
2m 36s master
master
2m 36s
whatever Lean Action CI #12: Commit e114d6a pushed by BasharHamade12
2m 24s master
master
2m 24s
lemma6.1 real case Lean Action CI #11: Commit 20bcf67 pushed by BasharHamade12
2m 30s master
master
2m 30s
minor fixes Lean Action CI #10: Commit cc4944d pushed by BasharHamade12
2m 11s master
master
2m 11s
praying we will make progress soon Lean Action CI #9: Commit 1a80718 pushed by BasharHamade12
2m 10s master
master
2m 10s
failed cleanup Lean Action CI #8: Commit abb777e pushed by BasharHamade12
2m 39s master
master
2m 39s
sanity check Lean Action CI #7: Commit 434bacf pushed by BasharHamade12
2m 11s master
master
2m 11s
I managed to make it messier Lean Action CI #6: Commit b45aa41 pushed by BasharHamade12
2m 16s master
master
2m 16s
absolute mess Lean Action CI #5: Commit 630d366 pushed by BasharHamade12
2m 24s master
master
2m 24s
Added skeleton for lemma 6.1, and controllability file Lean Action CI #4: Commit 048b0ee pushed by BasharHamade12
1m 48s master
master
1m 48s
added plane definitions Lean Action CI #3: Commit ea087f8 pushed by BasharHamade12
1m 57s master
master
1m 57s
Schur stability Lean Action CI #2: Commit f91309a pushed by BasharHamade12
2m 1s master
master
2m 1s
Initial commit: ControlSystems Lean library Lean Action CI #1: Commit fb06bd1 pushed by BasharHamade12
2m 26s master
master
2m 26s