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?
alt Hacker News
Why do you expect to understand an article you randomly read off the interwebs?