Hacker News new | ask | show | jobs
by jason1cho 67 days ago
Is it due to the feature that the author claimed "this blog post is itself Lean code"?