alt
Hacker News
ijidak
•
yesterday at 11:47 PM
•
2 replies
•
view on HN
I think OP is saying Lean does indeed help.
Replies
senderista
•
today at 4:33 AM
whoosh
kgwgk
•
today at 2:53 AM
[flagged]
➕ show 1 reply
alt Hacker News
whoosh