← Back to context Comment by anthonyrstevens 8 hours ago Do you know what "sorry" means in the context of Lean? 0 comments anthonyrstevens Reply No comments yet Contribute on Hacker News ↗
No comments yet
Contribute on Hacker News ↗