Comment by beanshadow

Pg. 56 cites this repository which is either still private or doesn't exist:

https://github.com/comphomology/pvsnp-formal