Skip to content

Actions: ooovi/Polyhedral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
982 workflow runs
982 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
feat: show some convexity properties of intervals Lean Action CI #817: Pull request #109 synchronize by kilianar
3m 35s kilianar:intervals-convexity
kilianar:intervals-convexity
3m 35s
Add FiniteDimensional for affine subspaces Lean Action CI #816: Pull request #111 synchronize by martinwintermath
1m 54s affine-finiteDimensional
affine-finiteDimensional
1m 54s
Fix Lean Action CI #815: Commit 52dcf5f pushed by martinwintermath
17m 25s affine-finiteDimensional
affine-finiteDimensional
17m 25s
Add FiniteDimensional for affine subspaces Lean Action CI #814: Pull request #111 synchronize by martinwintermath
1m 9s affine-finiteDimensional
affine-finiteDimensional
1m 9s
Naming fix Lean Action CI #813: Commit 836f219 pushed by martinwintermath
1m 32s affine-finiteDimensional
affine-finiteDimensional
1m 32s
Add FiniteDimensional for affine subspaces Lean Action CI #812: Pull request #111 synchronize by martinwintermath
1m 23s affine-finiteDimensional
affine-finiteDimensional
1m 23s
Renames and moved Lean Action CI #811: Commit 7470068 pushed by martinwintermath
1m 6s affine-finiteDimensional
affine-finiteDimensional
1m 6s
Add FiniteDimensional for affine subspaces Lean Action CI #810: Pull request #111 synchronize by martinwintermath
2m 25s affine-finiteDimensional
affine-finiteDimensional
2m 25s
Add FinDim for sets Lean Action CI #809: Commit 4b1032b pushed by martinwintermath
27m 5s affine-finiteDimensional
affine-finiteDimensional
27m 5s
Add FiniteDimensional for affine subspaces Lean Action CI #808: Pull request #111 synchronize by martinwintermath
2m 22s affine-finiteDimensional
affine-finiteDimensional
2m 22s
Add AffineSpace.FiniteDimensional Lean Action CI #807: Commit 960e98f pushed by martinwintermath
16m 47s affine-finiteDimensional
affine-finiteDimensional
16m 47s
Add FiniteDimensional for affine subspaces Lean Action CI #806: Pull request #111 opened by martinwintermath
3m 52s affine-finiteDimensional
affine-finiteDimensional
3m 52s
Add FiniteDimensional for affine subspaces Lean Action CI #805: Commit d747656 pushed by martinwintermath
29m 31s affine-finiteDimensional
affine-finiteDimensional
29m 31s
feat: homogenization increases (finite) dimension by one Lean Action CI #804: Pull request #107 synchronize by vlad902
3m 26s Workshop-Polyhedra-In-Lean:findim-affinespan-homogenize
Workshop-Polyhedra-In-Lean:findim-affinespan-homogenize
3m 26s
feat: face lattice of a polytope is graded by the dimension of the face Lean Action CI #803: Pull request #108 synchronize by vlad902
3m 46s Workshop-Polyhedra-In-Lean:grading-by-affine-dimension
Workshop-Polyhedra-In-Lean:grading-by-affine-dimension
3m 46s
Defining IsHomogenization as linear equivalence Lean Action CI #802: Pull request #102 synchronize by ooovi
1m 40s homogenization_linequiv
homogenization_linequiv
1m 40s
renaming face homogenizaIso Lean Action CI #801: Commit e668af4 pushed by ooovi
25m 43s homogenization_linequiv
homogenization_linequiv
25m 43s
Merge branch 'homogenization_linequiv' into homogenization_krein_milman Lean Action CI #800: Commit 6dc3dbc pushed by ooovi
27m 43s homogenization_krein_milman
homogenization_krein_milman
27m 43s
feat: show some convexity properties of intervals Lean Action CI #799: Pull request #109 synchronize by kilianar
3m 39s kilianar:intervals-convexity
kilianar:intervals-convexity
3m 39s
Defining IsHomogenization as linear equivalence Lean Action CI #798: Pull request #102 synchronize by ooovi
2m 0s homogenization_linequiv
homogenization_linequiv
2m 0s
adding constructor for field and nonzero functional Lean Action CI #797: Commit c829e9b pushed by ooovi
25m 42s homogenization_linequiv
homogenization_linequiv
25m 42s
Defining IsHomogenization as linear equivalence Lean Action CI #796: Pull request #102 synchronize by ooovi
2m 28s homogenization_linequiv
homogenization_linequiv
2m 28s
some suggestions Lean Action CI #795: Commit 52c1545 pushed by ooovi
21m 15s homogenization_linequiv
homogenization_linequiv
21m 15s
feat: show some convexity properties of intervals Lean Action CI #794: Pull request #109 synchronize by kilianar
2m 10s kilianar:intervals-convexity
kilianar:intervals-convexity
2m 10s
Defining IsHomogenization as linear equivalence Lean Action CI #793: Pull request #102 synchronize by ooovi
2m 13s homogenization_linequiv
homogenization_linequiv
2m 13s