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