@misc{indiciaecc841f9bb101,
  title = {Machine-Checked Formalization of Earlier Arguments on \$\textbackslash{}mathbb\{P\}\$ versus \$\textbackslash{}mathbb\{NP\}\$ Using Isabelle/HOL},
  author = {Craig Alan Feinstein},
  year = {2026},
  url = {https://arxiv.org/abs/cs/0310060},
  note = {Source identifier: cs/0310060}
}