← Back to context

Comment by jason1cho

6 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 ↗