lol, why does the paper abstract assume I know what Lean is and it goes on to ta... | Hacker News

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

		atmosx 31 days ago \| parent \| context \| favorite \| on: Leanstral: Open-source agent for trustworthy codin... lol, why does the paper abstract assume I know what Lean is and it goes on to talk about lean 4 improvements?

cicko 31 days ago [–]

Why do you expect to understand an article you randomly read off the interwebs?

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