Um trabalho árduo está a acontecer no GitHub do Teorema dos Números Primos... dê uma olhada!