2 ms·
The GitHub repo 404’s and likewise with the Docker image. Where's the code? https://github.com/comphomology/pvsnp-formal https://github.com/comphomology/pvsnp-
by quamserena 1y ago
The GitHub repo 404’s and likewise with the Docker image. Where's the code?
https://github.com/comphomology/pvsnp-formal https://github.com/comphomology/pvsnp-formal
- steego 1y agoThe Github user doesn't even exist. Who writes Lean code in the actual paper but doesn't create a repo or even a username?