Certified proof-complexity ladder toward P vs NP: Lean 4 certificates, prose-first research sessions, budgeted SAT falsification.
Lean Updated about 1 month ago 1 commits
surge-bot|Mirror: astrogirlnim/SATurday (⭐0)
about 1 month agoAbout
Certified proof-complexity ladder toward P vs NP: Lean 4 certificates, prose-first research sessions, budgeted SAT falsification.
Readme