Skip to content

Pull requests: TauCetiProject/TauCeti

New pull request New
100 Open 5,249 Closed
100 Open 5,249 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(DedekindDomain): the adic completion integers are a complete adic Henselian local ring awaiting-CI CI has not yet reported on the latest commit roadmap/EllipticCurves PR declares the EllipticCurves roadmap as its primary association
#5589 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
refactor(GenericPoint): state the generic point over a nontrivial commutative ring awaiting-CI CI has not yet reported on the latest commit roadmap/EllipticCurves PR declares the EllipticCurves roadmap as its primary association
#5588 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
refactor(EDS): name the index-splitting step the six residue branches share awaiting-CI CI has not yet reported on the latest commit roadmap/EllipticCurves PR declares the EllipticCurves roadmap as its primary association
#5587 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
1
feat(Cyclotomic): a cyclotomic extension meets an unramified extension trivially awaiting-CI CI has not yet reported on the latest commit roadmap/Chebotarev PR declares the Chebotarev roadmap as its primary association
#5586 opened Sep 3, 2026 by CBirkbeck Contributor • Draft
refactor(ModularForms): finish the NeZero.of_dvd adoption under HeckeSlash awaiting-CI CI has not yet reported on the latest commit roadmap/ModularForms PR declares the ModularForms roadmap as its primary association
#5585 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
feat(ModularForms): the twisted Hecke slash sum as a modular form and its endomorphism awaiting-CI CI has not yet reported on the latest commit roadmap/ModularForms PR declares the ModularForms roadmap as its primary association
#5584 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
refactor(ModularForms): drop four NeZero bindings shadowed by Mathlib's NeZero.mul ci-failed The build failed on the latest commit; author action needed roadmap/ModularForms PR declares the ModularForms roadmap as its primary association
#5583 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
feat(Huber): a vertical generization of a continuous valuation is continuous (Wedhorn 7.11(2)) awaiting-CI CI has not yet reported on the latest commit roadmap/AdicSpaces PR declares the AdicSpaces roadmap as its primary association
#5582 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
5
feat: prove that projective covers exist over a semiprimary ring awaiting-review CI is green; waiting for review verdicts roadmap/RepresentationTheory PR declares the RepresentationTheory roadmap as its primary association
#5581 opened Sep 3, 2026 by chrisromanmiller Contributor Loading…
feat(Isogeny): the class-group map induced by an isogeny awaiting-author A review requested changes; author action needed roadmap/EllipticCurves PR declares the EllipticCurves roadmap as its primary association
#5580 opened Sep 3, 2026 by CBirkbeck Contributor • Draft
3
refactor(Probability): name the Gamma-density-times-Poisson-mass identity awaiting-CI CI has not yet reported on the latest commit roadmap/StandardDistributions PR declares the StandardDistributions roadmap as its primary association
#5579 opened Sep 3, 2026 by CBirkbeck Contributor • Draft
feat: Burnside's vanishing theorem for character values awaiting-review CI is green; waiting for review verdicts roadmap/RepresentationTheory PR declares the RepresentationTheory roadmap as its primary association
#5578 opened Sep 3, 2026 by chrisromanmiller Contributor Loading…
4
feat: bound hom-density by injective hom-density in finite graphs awaiting-author A review requested changes; author action needed roadmap/DenseGraphLimits PR declares the DenseGraphLimits roadmap as its primary association
#5575 opened Sep 3, 2026 by mm3141-bot Contributor Loading…
8
refactor(Finset): name the sum over the subsets of size one less than the card awaiting-review CI is green; waiting for review verdicts roadmap/RepresentationTheory PR declares the RepresentationTheory roadmap as its primary association
#5576 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
5
feat: identify the two-row Young permutation module awaiting-review CI is green; waiting for review verdicts roadmap/RepresentationTheory PR declares the RepresentationTheory roadmap as its primary association
#5573 opened Sep 3, 2026 by chrisromanmiller Contributor Loading…
feat(Analysis): the divergence of log (1 / (s - 1)) and the divergent-denominator squeeze awaiting-author A review requested changes; author action needed roadmap/ArithmeticDirichletSeries PR declares the ArithmeticDirichletSeries roadmap as its primary association
#5572 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
9
feat: a map of covering spaces is a covering map awaiting-author A review requested changes; author action needed roadmap/UniversalCovers PR declares the UniversalCovers roadmap as its primary association
#5571 opened Sep 3, 2026 by sqrt-of-2 Contributor Loading…
7
feat(Huber): the map induced on a quotient of A⟨X⟩_T (Wedhorn Example 6.38(a)) awaiting-review CI is green; waiting for review verdicts roadmap/AdicSpaces PR declares the AdicSpaces roadmap as its primary association
#5570 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
12
refactor(BrauerGenerators): name the basis expansion of a mapped bivector awaiting-CI CI has not yet reported on the latest commit roadmap/RepresentationTheory PR declares the RepresentationTheory roadmap as its primary association
#5567 opened Sep 3, 2026 by CBirkbeck Contributor Loading…
8
feat: add finite-distance Wasserstein spaces awaiting-review CI is green; waiting for review verdicts roadmap/OptimalTransport PR declares the OptimalTransport roadmap as its primary association
#5566 opened Sep 3, 2026 by sqrt-of-2 Contributor Loading…
9
feat: base change the type-B spin carrier awaiting-author A review requested changes; author action needed roadmap/ReductiveGroups PR declares the ReductiveGroups roadmap as its primary association
#5565 opened Sep 3, 2026 by eohjelle Contributor Loading…
3
refactor(Probability): share the zero-one approximation argument awaiting-review CI is green; waiting for review verdicts roadmap/Exchangeability PR declares the Exchangeability roadmap as its primary association
#5564 opened Sep 3, 2026 by cameronfreer Contributor Loading…
9
feat: characterize smooth reduced affine groups awaiting-author A review requested changes; author action needed roadmap/ReductiveGroups PR declares the ReductiveGroups roadmap as its primary association
#5563 opened Sep 3, 2026 by eohjelle Contributor Loading…
12
feat: prove the analytic Euler product over prime ideals awaiting-author A review requested changes; author action needed roadmap/ArithmeticDirichletSeries PR declares the ArithmeticDirichletSeries roadmap as its primary association
#5562 opened Sep 3, 2026 by sqrt-of-2 Contributor Loading…
8
feat: compute componentwise zigzag dimensions awaiting-author A review requested changes; author action needed roadmap/ZigzagPreprojective PR declares the ZigzagPreprojective roadmap as its primary association
#5561 opened Sep 3, 2026 by sqrt-of-2 Contributor Loading…
5
ProTip! What’s not been updated in a month: updated:<2026-08-03.