[atmosx]

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

[cicko]

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