works on
complexity theory 1formal verification 1isabelle/holl 1p vs np 1subset sum 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.CC2026

Machine-Checked Formalization of Earlier Arguments on versus Using Isabelle/HOL

Craig Alan Feinstein

The paper revisits an earlier argument about P versus NP based on the Subset‑Sum problem and provides a machine‑checked formalization of that argument in Isabelle/HOL, clarifying i…