alt
Hacker News
eru
•
today at 1:43 AM
•
0 replies
•
view on HN
Wouldn't a bug in the (Lean) kernel just result in a PR to Lean?
alt Hacker News