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

lol, why does the paper abstract assume I know what Lean is and it goes on to talk about lean 4 improvements?


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




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

Search: