Remix.run Logo
lmm 4 hours ago

The problem was in Lean though, so it seems fair.