Paul Raff

	2007
2		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem. ACM Trans. Comput. Log. 9(1): (2007)
	2005
1		Jeremy Avigad, Kevin Donnelly, David Gray, Paul Raff: A formally verified proof of the prime number theorem CoRR abs/cs/0509025: (2005)

Coauthor Index

1	Jeremy Avigad	[1] [2]
2	Kevin Donnelly	[1] [2]
3	David Gray	[1] [2]