Counterexample to the Lean Conjecture (Soundness Bug)

(leanprover.zulipchat.com)

1 points | by ahlCVA 5 hours ago ago