%0 Journal Article %1 journals/tocl/AvigadDGR07 %A Avigad, Jeremy %A Donnelly, Kevin %A Gray, David %A Raff, Paul %D 2007 %J ACM Trans. Comput. Log. %K dblp %N 1 %P 2 %T A formally verified proof of the prime number theorem. %U http://dblp.uni-trier.de/db/journals/tocl/tocl9.html#AvigadDGR07 %V 9

@article{journals/tocl/AvigadDGR07, added-at = {2023-09-30T00:00:00.000+0200}, author = {Avigad, Jeremy and Donnelly, Kevin and Gray, David and Raff, Paul}, biburl = {https://www.bibsonomy.org/bibtex/2d61d15101fe3ae13dc59b30746f3d220/dblp}, ee = {https://www.wikidata.org/entity/Q55899223}, interhash = {393a3e43627f646383f8b50f0315f140}, intrahash = {d61d15101fe3ae13dc59b30746f3d220}, journal = {ACM Trans. Comput. Log.}, keywords = {dblp}, number = 1, pages = 2, timestamp = {2024-04-08T12:38:36.000+0200}, title = {A formally verified proof of the prime number theorem.}, url = {http://dblp.uni-trier.de/db/journals/tocl/tocl9.html#AvigadDGR07}, volume = 9, year = 2007 }