Loeffler, D., & Stoll, M. (2025). Formalizing zeta and L-functions in Lean.
Chicago Style (17th ed.) CitationLoeffler, David, and Michael Stoll. Formalizing Zeta and L-functions in Lean. 2025.
MLA (9th ed.) CitationLoeffler, David, and Michael Stoll. Formalizing Zeta and L-functions in Lean. 2025.
Warning: These citations may not always be 100% accurate.