Skip to content

Actions: AntoineChambert-Loir/DividedPowers4

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
148 workflow runs
148 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

the proof works .github/workflows/blueprint.yml #48: Commit 4fac306 pushed by AntoineChambert-Loir
June 16, 2024 09:39 36s main
main
June 16, 2024 09:39 36s
two inches of removing the final sorry .github/workflows/blueprint.yml #47: Commit 775e736 pushed by AntoineChambert-Loir
June 15, 2024 21:09 42s main
main
June 15, 2024 21:09 42s
attempt for augmentation ideal of tensor products .github/workflows/blueprint.yml #46: Commit ea23780 pushed by AntoineChambert-Loir
June 14, 2024 13:36 41s main
main
June 14, 2024 13:36 41s
roby4 is proved! .github/workflows/blueprint.yml #45: Commit 18a1360 pushed by AntoineChambert-Loir
June 11, 2024 10:53 43s main
main
June 11, 2024 10:53 43s
painful progress… .github/workflows/blueprint.yml #44: Commit 0ea9f73 pushed by AntoineChambert-Loir
June 11, 2024 08:57 37s main
main
June 11, 2024 08:57 37s
try to make progress on DPAlgebra.DPow .github/workflows/blueprint.yml #43: Commit 2c8213f pushed by AntoineChambert-Loir
June 10, 2024 20:25 50s main
main
June 10, 2024 20:25 50s
base change of augmentation ideals .github/workflows/blueprint.yml #42: Commit 698e0e0 pushed by AntoineChambert-Loir
June 10, 2024 18:21 49s main
main
June 10, 2024 18:21 49s
more about the augmentation ideal .github/workflows/blueprint.yml #41: Commit 1f4eed1 pushed by AntoineChambert-Loir
June 10, 2024 07:17 48s main
main
June 10, 2024 07:17 48s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #40: Commit 0048ec7 pushed by AntoineChambert-Loir
June 8, 2024 09:17 47s main
main
June 8, 2024 09:17 47s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #39: Commit 42ff448 pushed by mariainesdff
June 7, 2024 15:58 37s main
main
June 7, 2024 15:58 37s
attempts, with an augmentation ideal file .github/workflows/blueprint.yml #38: Commit fc6d7e6 pushed by AntoineChambert-Loir
June 6, 2024 23:32 38s main
main
June 6, 2024 23:32 38s
minor fixes .github/workflows/blueprint.yml #37: Commit b0534ef pushed by AntoineChambert-Loir
June 6, 2024 14:19 47s main
main
June 6, 2024 14:19 47s
some lemmas about augmentation ideals .github/workflows/blueprint.yml #36: Commit c57da11 pushed by AntoineChambert-Loir
June 6, 2024 12:38 41s main
main
June 6, 2024 12:38 41s
comment check .github/workflows/blueprint.yml #35: Commit fe8534a pushed by mariainesdff
June 5, 2024 17:28 37s main
main
June 5, 2024 17:28 37s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #34: Commit cbb6c94 pushed by mariainesdff
June 5, 2024 17:25 49s main
main
June 5, 2024 17:25 49s
remove ForMathlib.RingTheory.Ideal .github/workflows/blueprint.yml #33: Commit cb986be pushed by AntoineChambert-Loir
June 5, 2024 16:39 37s main
main
June 5, 2024 16:39 37s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #32: Commit 0dd1b86 pushed by mariainesdff
June 5, 2024 16:34 35s main
main
June 5, 2024 16:34 35s
move Ideal.lean file to unused .github/workflows/blueprint.yml #31: Commit 4aea050 pushed by AntoineChambert-Loir
June 5, 2024 16:34 38s main
main
June 5, 2024 16:34 38s
golf a proof (mathlib knows more!) .github/workflows/blueprint.yml #30: Commit 505de4d pushed by AntoineChambert-Loir
June 5, 2024 16:30 36s main
main
June 5, 2024 16:30 36s
adjust calls to simp .github/workflows/blueprint.yml #29: Commit 7b10e85 pushed by AntoineChambert-Loir
June 5, 2024 16:27 35s main
main
June 5, 2024 16:27 35s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #28: Commit 9b2c73c pushed by AntoineChambert-Loir
June 5, 2024 16:20 38s main
main
June 5, 2024 16:20 38s
Merge branch 'main' of https://github.com/AntoineChambert-Loir/Divide… .github/workflows/blueprint.yml #27: Commit 2bf0cb2 pushed by mariainesdff
June 5, 2024 16:15 37s main
main
June 5, 2024 16:15 37s
correct Ne_def to ne_eq .github/workflows/blueprint.yml #26: Commit 5ddbe9e pushed by AntoineChambert-Loir
June 5, 2024 16:15 40s main
main
June 5, 2024 16:15 40s
Merge branch 'main' of github.com:AntoineChambert-Loir/DividedPowers4 .github/workflows/blueprint.yml #25: Commit 5ebd019 pushed by AntoineChambert-Loir
June 5, 2024 16:10 40s main
main
June 5, 2024 16:10 40s
fix CombinatoricsLemmas after mathlib update .github/workflows/blueprint.yml #24: Commit b986c62 pushed by mariainesdff
June 5, 2024 16:07 45s main
main
June 5, 2024 16:07 45s