Comment by jason1cho 4 hours ago Is it due to the feature that the author claimed "this blog post is itself Lean code"? 0 comments jason1cho Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗