Hacker News new | ask | show | jobs
Counterexample to the Lean Conjecture (Soundness Bug) (leanprover.zulipchat.com)
2 points by ahlCVA 1 day ago