Counterexample to the Lean Conjecture (Soundness Bug) #1 Post by ahlCVA » Tue, Jul 28, 2026, 5:47 PM UTC Counterexample to the Lean Conjecture (Soundness Bug)leanprover.zulipchat.com