Skip to content

Actions: ooovi/Polyhedral

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
483 workflow runs
483 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
saner names Lean Action CI #323: Commit c00a79f pushed by ooovi
2h 2m 10s affine_space
affine_space
2h 2m 10s
making dehom-hom proof nicer Lean Action CI #322: Commit 07c0935 pushed by ooovi
1h 58m 8s affine_space
affine_space
1h 58m 8s
Minor Lean Action CI #321: Commit aec06d1 pushed by martinwintermath
1h 57m 50s affine_space
affine_space
1h 57m 50s
Add embed_csection_eq_inter_embed Lean Action CI #320: Commit eacc534 pushed by martinwintermath
1h 39m 39s affine_space
affine_space
1h 39m 39s
More replace IsStrictOrderedRing (restr requires a mathlib PR) Lean Action CI #319: Commit de09765 pushed by martinwintermath
2h 5m 43s affine_space
affine_space
2h 5m 43s
Replace IsStrictOrderedRing Lean Action CI #318: Commit 4f5829b pushed by martinwintermath
2h 3m 15s affine_space
affine_space
2h 3m 15s
Minor Lean Action CI #317: Commit ef2a5b5 pushed by martinwintermath
2h 1m 30s affine_space
affine_space
2h 1m 30s
Minor changes Lean Action CI #316: Commit 4dedcce pushed by martinwintermath
47m 19s main
main
47m 19s
order iso yay Lean Action CI #315: Commit 3c32fde pushed by ooovi
2h 6m 53s affine_space
affine_space
2h 6m 53s
Merge pull request #37 from ooovi/convexity Lean Action CI #314: Commit 8527290 pushed by ooovi
2h 4m 16s affine_space
affine_space
2h 4m 16s
proving face of convex set becomes face of hom cone Lean Action CI #313: Commit ec49c5b pushed by ooovi
1h 58m 47s affine_space
affine_space
1h 58m 47s
Move code Lean Action CI #312: Commit 0b8065b pushed by martinwintermath
37m 53s main
main
37m 53s
Add LinearMap.positive and lemmas Lean Action CI #311: Commit 36bc50d pushed by martinwintermath
49m 0s main
main
49m 0s
Merge pull request #36 from taylorv314159-cmd/affine_space Lean Action CI #310: Commit 99e81cf pushed by ooovi
2h 2m 30s affine_space
affine_space
2h 2m 30s
prove empty_convex and convexHull_convex Lean Action CI #309: Pull request #37 opened by grussmara
2m 38s convexity
convexity
2m 38s
solving issue 35 Lean Action CI #308: Pull request #36 opened by taylorv314159-cmd
3m 2s taylorv314159-cmd:affine_space
taylorv314159-cmd:affine_space
3m 2s
prove empty_convex and convexHull_convex Lean Action CI #307: Commit 88ace86 pushed by grussmara
2h 10m 43s convexity
convexity
2h 10m 43s
Minor change Lean Action CI #306: Commit d97b846 pushed by martinwintermath
2h 5m 4s affine_space
affine_space
2h 5m 4s
adding sorries for the issues Lean Action CI #305: Commit 8ac43d5 pushed by ooovi
2h 8m 28s affine_space
affine_space
2h 8m 28s
some more homogenization stuff Lean Action CI #304: Commit b09397f pushed by ooovi
2h 5m 27s affine_space
affine_space
2h 5m 27s
Minor changes Lean Action CI #303: Commit 44cfd67 pushed by martinwintermath
50m 2s main
main
50m 2s
Further cleanup (linSpan removal) Lean Action CI #302: Commit 48d5d0e pushed by martinwintermath
46m 27s main
main
46m 27s
Minor edit Lean Action CI #301: Commit da2066b pushed by martinwintermath
48m 4s main
main
48m 4s
Prove coe_dualfg_iff Lean Action CI #300: Commit f0ad42d pushed by martinwintermath
47m 15s main
main
47m 15s
Update FGDual (now DualFG) from PR Lean Action CI #299: Commit 1cb1d51 pushed by martinwintermath
45m 37s main
main
45m 37s