[quamserena]

The GitHub repo 404’s and likewise with the Docker image. Where's the code?

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

[steego]

The Github user doesn't even exist.

Who writes Lean code in the actual paper but doesn't create a repo or even a username?