TY  - RPRT
TI  - A Critique of Lin's "On $\text{NP}$ versus $\text{coNP}$ and Frege Systems"
AU  - Nicholas DeJesse
AU  - Spencer Lyudovyk
AU  - Dhruv Pai
AU  - Michael Reidy
PY  - 2025
UR  - https://arxiv.org/abs/2505.05658
ID  - 2505.05658
ER  -