Skip to content

Actions: zilberstein/pcol

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
87 workflow runs
87 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
finish seq monotonicity Lean Action CI #116: Commit 91d5445 pushed by zilberstein
45s main
main
45s
progress on seq proofs Lean Action CI #115: Commit 137b97e pushed by zilberstein
1m 16s main
main
1m 16s
some validity lemmas for sequential comp Lean Action CI #114: Commit 8ff69f0 pushed by zilberstein
50s main
main
50s
scott continuity of seq Lean Action CI #113: Commit b870ecd pushed by zilberstein
47s main
main
47s
fix seq for pom Lean Action CI #112: Commit 314d028 pushed by zilberstein
48s main
main
48s
some work on seq for pom Lean Action CI #111: Commit 3beb78c pushed by zilberstein
42s main
main
42s
fix remaining sorries in Lpo Lean Action CI #110: Commit 5ee168e pushed by zilberstein
52s main
main
52s
fix most remaining sorries in core lpo/pom definitions Lean Action CI #109: Commit f811106 pushed by zilberstein
51s main
main
51s
fix definition of free variables in formulas Lean Action CI #108: Commit cdcfadf pushed by zilberstein
43s main
main
43s
fix some sorries Lean Action CI #107: Commit 1224d90 pushed by zilberstein
52s main
main
52s
upgrade mathlib version Lean Action CI #106: Commit 4ed032d pushed by zilberstein
46s main
main
46s
fix sorries in Pom omega completeness proof Lean Action CI #105: Commit 5aca611 pushed by zilberstein
48s main
main
48s
fix up chain completeness proof for pomset Lean Action CI #104: Commit f33affa pushed by zilberstein
41s main
main
41s
fix sorries Lean Action CI #103: Commit c0e1123 pushed by zilberstein
42s main
main
42s
lemma about pomset label antisymmetry, a few arithmetic lemmas left Lean Action CI #102: Commit 861a932 pushed by zilberstein
52s main
main
52s
finish proof that an lpo chain exists for every pomset chain Lean Action CI #101: Commit f50c060 pushed by zilberstein
45s main
main
45s
some refactoring Lean Action CI #100: Commit 6661abc pushed by zilberstein
47s main
main
47s
More permutation lemmas Lean Action CI #99: Commit 92789f5 pushed by zilberstein
51s main
main
51s
moer permutation fixes Lean Action CI #98: Commit 13cb153 pushed by zilberstein
49s main
main
49s
More permutation lemmas Lean Action CI #97: Commit aa305b9 pushed by zilberstein
50s main
main
50s
Pom is omega complete Lean Action CI #96: Commit 776f4c3 pushed by zilberstein
59s main
main
59s
more compactness Lean Action CI #95: Commit d8a29d5 pushed by zilberstein
53s main
main
53s
some compactness proofs Lean Action CI #94: Commit f9fa43f pushed by zilberstein
51s main
main
51s
tmp Lean Action CI #93: Commit 0c005fe pushed by emmanueljs1
49s es2278/fairness
es2278/fairness
49s
tmp Lean Action CI #92: Commit a31a608 pushed by emmanueljs1
46s es2278/fairness
es2278/fairness
46s