Here's your Lean proof https://github.com/google-deepmind/formal-conjectures/pul... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

rirze 24 days ago | parent | context | favorite | on: Claude Fable produced a counterexample to the Jaco...

Here's your Lean proof https://github.com/google-deepmind/formal-conjectures/pull/4...

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact