Counterexample to the Lean Conjecture (Soundness Bug)leanprover.zulipchat.com2 points·ahlCVA··0 commentsOpen articleSaveView on HN