Formalization of $p$-adic $L$-functions in Lean 3

Ashvni Narayanan

The Euler--Riemann zeta function is a largely studied numbertheoretic object, and the birthplace of several conjectures, such as the Riemann Hypothesis. Different approaches are us…