Anyone know of a good Lean tutorial? I've played around with it a bit but never ... | Hacker News

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

richard_chase 14 days ago | parent | context | favorite | on: Formalizing Fermat's Last Theorem

Anyone know of a good Lean tutorial? I've played around with it a bit but never really learned it properly.

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