Skip to content

Actions: ericluap/OrderedSemigroups

Actions

.github/workflows/blueprint.yml

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
blueprint.yml
59 workflow runs
59 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add Archimedean definition .github/workflows/blueprint.yml #9: Commit 5021096 pushed by ericluap
August 15, 2024 22:26 5m 36s main
main
August 15, 2024 22:26 5m 36s
Prove inequalites for when a+b <= b+a .github/workflows/blueprint.yml #8: Commit ce7dde6 pushed by ericluap
August 13, 2024 00:03 5m 26s main
main
August 13, 2024 00:03 5m 26s
Prove that (a*b)^n = a*(b*a)^(n-1)*b .github/workflows/blueprint.yml #7: Commit 6c167ef pushed by ericluap
August 12, 2024 21:40 5m 24s main
main
August 12, 2024 21:40 5m 24s
Simplify proof that every element is positive, negative, or zero. .github/workflows/blueprint.yml #6: Commit 4b820a0 pushed by ericluap
August 11, 2024 21:07 5m 7s main
main
August 11, 2024 21:07 5m 7s
Prove that every element is positive, negative, or zero .github/workflows/blueprint.yml #5: Commit c05f805 pushed by ericluap
August 10, 2024 10:26 5m 20s main
main
August 10, 2024 10:26 5m 20s
Define OrderedCancelSemigroup and N+ action .github/workflows/blueprint.yml #4: Commit dd73b8b pushed by ericluap
August 6, 2024 18:32 5m 34s main
main
August 6, 2024 18:32 5m 34s
Add theorem that no anomalous pairs means commutative to blueprint .github/workflows/blueprint.yml #3: Commit cc2480b pushed by ericluap
July 30, 2024 19:10 6m 4s main
main
July 30, 2024 19:10 6m 4s
Add theorem that non-Archimedean implies anomalous pair to blueprint .github/workflows/blueprint.yml #2: Commit fa62a49 pushed by ericluap
July 30, 2024 09:32 5m 36s main
main
July 30, 2024 09:32 5m 36s
Setup blueprint .github/workflows/blueprint.yml #1: Commit 95be385 pushed by ericluap
July 30, 2024 05:02 10m 28s main
main
July 30, 2024 05:02 10m 28s