So if this project was completed in Lean 3, for sake of example, how compatible ... | Hacker News

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

thdhhghgbhy on Aug 24, 2025 | parent | context | favorite | on: Project to formalise a proof of Fermat’s Last Theo...

So if this project was completed in Lean 3, for sake of example, how compatible would it be with Lean 4 today?

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