TY  - RPRT
TI  - Formalization of the prime number theorem and Dirichlet's theorem
AU  - Mario Carneiro
PY  - 2016
UR  - https://arxiv.org/abs/1608.02029
ID  - 1608.02029
ER  -