TY  - RPRT
TI  - Machine-Checked Formalization of Earlier Arguments on $\mathbb{P}$ versus $\mathbb{NP}$ Using Isabelle/HOL
AU  - Craig Alan Feinstein
PY  - 2026
UR  - https://arxiv.org/abs/cs/0310060
ID  - cs/0310060
ER  -