Proof of the Lyons--White Conjecture
AI use, as the source states it
“The results of this paper were formally verified in Lean by AxiomProver assuming standard literature.”
Model: AxiomProver, as stated
Named here, or see a mistake? Write to privacy@papex.org.