3 ms·Thanks, I meant other Lean resources. This is also interesting, though.by nextos 2y agoThanks, I meant other Lean resources. This is also interesting, though.