Hacker News Reader

As a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions

So that's why I never hear any students complaining about how hard it is