Ahh, so maybe we should first focus on formalizing Lean itself? | Hacker News

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

pkoird on Dec 12, 2024 | parent | context | favorite | on: Fermat's Last Theorem – how it’s going

Ahh, so maybe we should first focus on formalizing Lean itself?

digama0 on Dec 13, 2024 [–]

Should I introduce you to https://arxiv.org/abs/2403.14064 ?

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