Counterexample to the Lean Conjecture (Soundness Bug)

(leanprover.zulipchat.com) by ahlCVA | Jul 28, 2026 | 0 comments on HN