Is there some good literature to read about lean? First time I’m hearing about i... | Hacker News

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

		aaomidi 17 days ago \| parent \| context \| favorite \| on: AI just proved Erdos Problem #124 Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.

anon291 15 days ago [–]

Anything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.

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