alt
Hacker News
lmm
•
yesterday at 5:51 AM
•
0 replies
•
view on HN
The problem was in Lean though, so it seems fair.
alt Hacker News