3 ms·Is it due to the feature that the author claimed "this blog post is itself Lean code"?by jason1cho 6mo agoIs it due to the feature that the author claimed "this blog post is itself Lean code"?