4 ms·
As a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions
by mon_ 2y ago
As a recent graduate I'll miss asking for "help with my Coq" and proclaiming "my Coq isn't working" during lab sessions
- agumonkey 2y agoSo that's why I never hear any students complaining about how hard it is
- deleted 2y ago[deleted]