Comment on A Homological Proof of P != NP: Computational Topology via Categorical FrameworkparentComments−steego10moThe Github user doesn't even exist.Who writes Lean code in the actual paper but doesn't create a repo or even a username?
Comments
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?