Hacker News new | ask | show | jobs
by beanshadow 241 days ago
Pg. 56 cites this repository which is either still private or doesn't exist:

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