## A formally verified proof of the prime number theorem (2006)

### Cached

### Download Links

- [arxiv.org]
- [arxiv.org]
- [arxiv.org]
- [cs-people.bu.edu]
- DBLP

### Other Repositories/Bibliography

by
Jeremy Avigad
,
Kevin Donnelly
,
David Gray
,
Paul Raff

Venue: | ACM Transactions on Computational Logic |

Citations: | 24 - 5 self |