3 ms·
> And that's not really a knock on Lean - it seems to have some of the better documentation out of the alternatives. It looks scary but actually all those conc
by aiono 2y ago
> And that's not really a knock on Lean - it seems to have some of the better documentation out of the alternatives.
It looks scary but actually all those concepts are really simple and probably things you are already familiar with.