Questions tagged [soft-question]
For questions whose answers can't be objectively evaluated as correct or incorrect, but which are still relevant to this site. Please be specific about what you are after.
1
question with no upvoted or accepted answers
2
votes
0
answers
84
views
Formalization of Analytic Number Theory
Is there any formalization, in any proof checking environment (Lean, Isabelle, etc.) of basic analytic number theory, say everything in a book like the Titchmarsh book (The Theory of the Riemann Zeta ...