Tracking issue for Hurwitz and Dirichlet L-series
loefflerd opened this issue · comments
This is a tracker page for my Hurwitz zeta functions project, which is being gradually fed into Mathlib piece-by-piece.
Upstream project branch (not intended for review or merging, but possibly useful to reviewers as a reference)
Components already merged
Open PR's
Forthcoming
- #13273 (needs rebase once 13347 is in)
- Discrete Fourier theory on
ZMod N
[1 small PR] - Dirichlet L-series [1 PR]
- Special value formulae [1-2 PRs]