Source
r/PisequaltoNP•
No_Arachnid_5563

LEAN 4 CODE P=NP in Polylogarithmic Time with Holographic Proofs and Search to Decision Reduction

https://harlequin-official-parrotfish-124.mypinata.cloud/ipfs/bafkreib6suablekdjtoigdmkffatnd4pfpnnx3zdijsvjuji2nvu4ixili

https://github.com/POlLLOGAMER/LEAN-4-CODE-P-NP-in-Polylogarithmic-Time-with-Holographic-Proofs-and-Search-to-Decision-Reduction/blob/main/LEAN%20CODE%20P%20%3D%20NP%20in%20Polylogarithmic%20Time.lean

Posted Jul 26, 2026, 4:24 AM UTC

10

Comments aren't archived yet

Comments for this period haven't been loaded into the archive yet.