Y
Hacker News
new
|
ask
|
show
|
jobs
by
mon_
685 days ago
As a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions
1 comments
agumonkey
685 days ago
So that's why I never hear any students complaining about how hard it is
link