Skip to content

Actions: leanprover-community/mathlib4

Actions

Label New Contributors

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
label_new_contributor.yml
48,817 workflow runs
48,817 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

feat: ContinuousAlgEquiv Label New Contributors #48880: Pull request #19725 opened by smmercuri
December 4, 2024 09:43 10s ContinuousAlgEquiv
ContinuousAlgEquiv
December 4, 2024 09:43 10s
feat(Analysis): summable multipliable Label New Contributors #48879: Pull request #16546 synchronize by CBirkbeck
December 4, 2024 09:27 11s summable_multipliable
summable_multipliable
December 4, 2024 09:27 11s
feat(Analysis): summable multipliable Label New Contributors #48878: Pull request #16546 synchronize by CBirkbeck
December 4, 2024 09:27 10s summable_multipliable
summable_multipliable
December 4, 2024 09:27 10s
feat(Analysis): summable multipliable Label New Contributors #48877: Pull request #16546 synchronize by CBirkbeck
December 4, 2024 09:25 10s summable_multipliable
summable_multipliable
December 4, 2024 09:25 10s
feat: extend smoothness category of manifolds with corners to include analytic manifolds Label New Contributors #48876: Pull request #19696 synchronize by sgouezel
December 4, 2024 09:24 16s SG_smoothmanifold
SG_smoothmanifold
December 4, 2024 09:24 16s
chore(SetTheory/Cardinal/Basic): move IsStrongLimit Label New Contributors #48875: Pull request #19723 synchronize by vihdzp
December 4, 2024 09:14 13s vi.stronglimit
vi.stronglimit
December 4, 2024 09:14 13s
feat: extend smoothness category of manifolds with corners to include analytic manifolds Label New Contributors #48874: Pull request #19696 synchronize by sgouezel
December 4, 2024 09:11 12s SG_smoothmanifold
SG_smoothmanifold
December 4, 2024 09:11 12s
feat(Order/Basic): PartialOrder.ext_lt Label New Contributors #48873: Pull request #19724 opened by vihdzp
December 4, 2024 09:07 12s vi.ext_lt
vi.ext_lt
December 4, 2024 09:07 12s
chore(SetTheory/Cardinal/Basic): move IsStrongLimit Label New Contributors #48872: Pull request #19723 synchronize by vihdzp
December 4, 2024 08:40 16s vi.stronglimit
vi.stronglimit
December 4, 2024 08:40 16s
chore(SetTheory/Cardinal/Basic): move IsStrongLimit Label New Contributors #48871: Pull request #19723 synchronize by vihdzp
December 4, 2024 08:40 14s vi.stronglimit
vi.stronglimit
December 4, 2024 08:40 14s
chore(SetTheory/Cardinal/Basic): move IsStrongLimit Label New Contributors #48870: Pull request #19723 synchronize by vihdzp
December 4, 2024 08:36 13s vi.stronglimit
vi.stronglimit
December 4, 2024 08:36 13s
chore(SetTheory/Cardinal/Basic): move IsStrongLimit Label New Contributors #48869: Pull request #19723 opened by vihdzp
December 4, 2024 08:34 17s vi.stronglimit
vi.stronglimit
December 4, 2024 08:34 17s
feat(LinearAlgebra/QuadraticForm/Basis): Free Tensor product of Quadratic Maps Label New Contributors #48868: Pull request #19432 synchronize by mans0954
December 4, 2024 08:12 13s mans0954/quadratic-tensor-product
mans0954/quadratic-tensor-product
December 4, 2024 08:12 13s
feat(LinearAlgebra/QuadraticForm/Basis): Free Tensor product of Quadratic Maps Label New Contributors #48867: Pull request #19432 synchronize by mans0954
December 4, 2024 08:07 16s mans0954/quadratic-tensor-product
mans0954/quadratic-tensor-product
December 4, 2024 08:07 16s
feat: extend smoothness category of manifolds with corners to include analytic manifolds Label New Contributors #48866: Pull request #19696 synchronize by sgouezel
December 4, 2024 07:35 16s SG_smoothmanifold
SG_smoothmanifold
December 4, 2024 07:35 16s
feat(Algebra/BigOperators/Group/Finset) : Finset.prod_disjoint_filters Label New Contributors #48865: Pull request #19712 synchronize by mans0954
December 4, 2024 07:03 10s mans0954/sum_disjoint_filters
mans0954/sum_disjoint_filters
December 4, 2024 07:03 10s
feat: add HasFTaylorSeriesUpToOn.congr_series Label New Contributors #48864: Pull request #19722 opened by urkud
December 4, 2024 06:59 33s YK-ftaylor-congr
YK-ftaylor-congr
December 4, 2024 06:59 33s
feat: formalize Moreira's version of Sard's theorem Label New Contributors #48863: Pull request #19721 opened by urkud
December 4, 2024 06:51 34s YK-moreira
YK-moreira
December 4, 2024 06:51 34s
feat(Algebra/BigOperators/Group/Finset) : Finset.prod_disjoint_filters Label New Contributors #48862: Pull request #19712 synchronize by mans0954
December 4, 2024 06:49 10s mans0954/sum_disjoint_filters
mans0954/sum_disjoint_filters
December 4, 2024 06:49 10s
feat(Algebra/BigOperators/Group/Finset) : Finset.prod_disjoint_filters Label New Contributors #48861: Pull request #19712 synchronize by mans0954
December 4, 2024 06:45 11s mans0954/sum_disjoint_filters
mans0954/sum_disjoint_filters
December 4, 2024 06:45 11s
feat(Pow/Real): compare x^y to x Label New Contributors #48860: Pull request #19720 opened by urkud
December 4, 2024 06:38 26s YK-rpow-le-self
YK-rpow-le-self
December 4, 2024 06:38 26s
feat(FieldTheory/Galois): Galois group is profinite Label New Contributors #48859: Pull request #16993 synchronize by Thmoas-Guan
December 4, 2024 06:24 11s Galois-group-is-profinite
Galois-group-is-profinite
December 4, 2024 06:24 11s
feat(FieldTheory/Galois): Fundamental theorem of infinite galois theory Label New Contributors #48858: Pull request #16982 synchronize by Thmoas-Guan
December 4, 2024 06:20 11s Fundamental-Theorem-of-Infinite-Galois-Theory
Fundamental-Theorem-of-Infinite-Galois-Theory
December 4, 2024 06:20 11s
feat: power of product of two reflections Label New Contributors #48857: Pull request #13270 synchronize by trivial1711
December 4, 2024 06:07 10s trivial1711-reflection-mul-pow
trivial1711-reflection-mul-pow
December 4, 2024 06:07 10s
feat: power of product of two reflections Label New Contributors #48856: Pull request #13270 synchronize by trivial1711
December 4, 2024 06:01 14s trivial1711-reflection-mul-pow
trivial1711-reflection-mul-pow
December 4, 2024 06:01 14s