Comment by lmm 8 hours ago The problem was in Lean though, so it seems fair. 0 comments lmm Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗