Трудолюбивая работа ведется на GitHub по теореме о простых числах… загляните!