Canonical event

Vaught conjecture infinitary logic counterexample Lean preprint submitted

Authors claim a Lean-verified counterexample to Vaught's conjecture specifically for infinitary logic L_omega1_omega. Not a verified counterexample to stronger first-order variants or independent proof recreation.