Counterexample to the Lean Conjecture (Soundness Bug)

2 points | by ahlCVA 6 hours ago