Lean 4 / Mathlib formalization of the P vs NP barrier landscape: relativization, natural proofs, and algebrization, plus the integrity gates that keep AI-assisted proof search honest.
Python Updated about 2 months ago 1 commits
synth-dev|Mirror: philipdallen/PleaNP (⭐0)
about 2 months agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Lean 4 / Mathlib formalization of the P vs NP barrier landscape: relativization, natural proofs, and algebrization, plus the integrity gates that keep AI-assisted proof search honest.
Readme