3 ms·I looked in the paper and they actually compare it to Lean, and expand up on it, exactly as you say.by js8 5y agoI looked in the paper and they actually compare it to Lean, and expand up on it, exactly as you say.