Skip to content

Actions: GuiBrandt/lean4-polyhedral-combinatorics

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
22 workflow runs
22 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More WIP Lean Action CI #22: Commit 43f5520 pushed by GuiBrandt
September 25, 2024 14:31 1m 11s main
main
September 25, 2024 14:31 1m 11s
WIP Lean Action CI #21: Commit 90194f9 pushed by GuiBrandt
September 23, 2024 21:12 1m 14s main
main
September 23, 2024 21:12 1m 14s
More work towards proving farkas lemma Lean Action CI #20: Commit 7386fda pushed by GuiBrandt
September 22, 2024 21:31 1m 31s main
main
September 22, 2024 21:31 1m 31s
Complete fourier motzkin elimination Lean Action CI #19: Commit e9c5c09 pushed by GuiBrandt
September 22, 2024 19:31 1m 18s main
main
September 22, 2024 19:31 1m 18s
Reorganize projection stuff Lean Action CI #18: Commit ee1c1d7 pushed by GuiBrandt
September 22, 2024 15:25 1m 29s main
main
September 22, 2024 15:25 1m 29s
Merge branch 'main' of github.com:GuiBrandt/lean4-polyhedral-combinat… Lean Action CI #17: Commit b212781 pushed by GuiBrandt
September 22, 2024 13:49 1m 35s main
main
September 22, 2024 13:49 1m 35s
Refactor mem_computeProjection Lean Action CI #16: Commit f45808e pushed by GuiBrandt
September 20, 2024 23:02 1m 54s main
main
September 20, 2024 23:02 1m 54s
Refactor mem_computeProjection Lean Action CI #15: Commit e2f74e8 pushed by GuiBrandt
September 20, 2024 22:34 1m 25s main
main
September 20, 2024 22:34 1m 25s
WIP Lean Action CI #14: Commit 2656e72 pushed by GuiBrandt
September 20, 2024 20:47 1m 24s main
main
September 20, 2024 20:47 1m 24s
Refactor Lean Action CI #13: Commit aec5833 pushed by GuiBrandt
September 9, 2024 20:15 1m 17s main
main
September 9, 2024 20:15 1m 17s
Refactor Linear system ofConstraints with recursive definition Lean Action CI #12: Commit d9c27be pushed by GuiBrandt
September 3, 2024 20:58 1m 47s main
main
September 3, 2024 20:58 1m 47s
Refactor Linear system ofConstraints with recursive definition Lean Action CI #11: Commit 41b3071 pushed by GuiBrandt
September 1, 2024 23:09 1m 46s main
main
September 1, 2024 23:09 1m 46s
WIP: Refactor projection theorems Lean Action CI #10: Commit a59825b pushed by GuiBrandt
September 1, 2024 21:49 1m 31s main
main
September 1, 2024 21:49 1m 31s
WIP: Refactor projection theorems Lean Action CI #9: Commit 74a5935 pushed by GuiBrandt
August 30, 2024 22:12 1m 33s main
main
August 30, 2024 22:12 1m 33s
WIP: Duality and fourier motzkin elimination Lean Action CI #8: Commit 95c056e pushed by GuiBrandt
August 30, 2024 21:38 2m 5s main
main
August 30, 2024 21:38 2m 5s
Move polyhedron projection to its own file Lean Action CI #7: Commit 1f8bb04 pushed by GuiBrandt
August 30, 2024 14:45 1m 42s main
main
August 30, 2024 14:45 1m 42s
Proved open projection set characterization Lean Action CI #6: Commit 6790a8b pushed by GuiBrandt
August 30, 2024 03:03 1m 40s main
main
August 30, 2024 03:03 1m 40s
Proved open projection set characterization Lean Action CI #5: Commit 1586f96 pushed by GuiBrandt
August 30, 2024 03:01 1m 8s main
main
August 30, 2024 03:01 1m 8s
Organization and cleaner proofs Lean Action CI #4: Commit fcdb78c pushed by GuiBrandt
August 27, 2024 15:00 2m 8s main
main
August 27, 2024 15:00 2m 8s
Organization and cleaner proofs Lean Action CI #3: Commit ad39b57 pushed by GuiBrandt
August 27, 2024 14:51 2m 22s main
main
August 27, 2024 14:51 2m 22s
WIP WIP Lean Action CI #2: Commit b055326 pushed by GuiBrandt
August 26, 2024 23:33 2m 38s main
main
August 26, 2024 23:33 2m 38s
WIP Lean Action CI #1: Commit 85393f1 pushed by GuiBrandt
August 26, 2024 16:21 2m 48s main
main
August 26, 2024 16:21 2m 48s