@misc{indiciaeca185e0d2b3b,
  title = {A Critique of Lin's "On \$\textbackslash{}text\{NP\}\$ versus \$\textbackslash{}text\{coNP\}\$ and Frege Systems"},
  author = {Nicholas DeJesse and Spencer Lyudovyk and Dhruv Pai and Michael Reidy},
  year = {2025},
  url = {https://arxiv.org/abs/2505.05658},
  note = {Source identifier: 2505.05658}
}