Comment on A Homological Proof of P != NP: Computational Topology via Categorical FrameworkparentComments−beanshadow10moPg. 56 cites this repository which is either still private or doesn't exist:https://github.com/comphomology/pvsnp-formal
Comments
Pg. 56 cites this repository which is either still private or doesn't exist:
https://github.com/comphomology/pvsnp-formal