1 points, 0 comments on Hacker News
Source: [Hacker News](https://leanprover.zulipchat.com/#narrow/channel/270676-lean4/topic/Counterexample.20to.20the.20Lean.20Conjecture.20.28Soundness.20Bug.29)
📰 Read Full Story
This is an aggregated headline summary. For the complete report, visit the original publisher.
Continue Reading at Hacker News ↗