Formalizing zeta and L-functions in Lean
Published in:
- Annals of Formalized Mathematics. - 2025, vol. 1
-
Research projects
-
-
Language
-
-
Classification
-
Mathematics
-
License
-
-
Open access status
-
diamond
-
Identifiers
-
-
Persistent URL
-
https://n2t.net/ark:/51647/srd1332393
Statistics
Document views: 54
File downloads:
