3 ms·
Without all the context, I think it is due to structure of the problem. Some problem can't be understood clearly with just text, but needs diagrams etc. Coq pro
by YetAnotherNick 5y ago
Without all the context, I think it is due to structure of the problem. Some problem can't be understood clearly with just text, but needs diagrams etc. Coq problem seems like one that could fall in this category. And if you are like me, rough diagramming in computer seems slower/harder than with pen and paper. For these kind of things, I found apple pencil+ipad to superior to both as you don't need to worry about space and page flip and you have all the advantage of free hand scribbling.
- dgan 5y agoInteresting, i never thought about e pen and a electronic pad. Will think about that
- pantulis 5y agoThere’s a whole industry of devices around that: of course the iPad, but there’s the reMarkable, AirNote, Boox Note… I carry my own Smallish notebook and pen but the convenience of having everything already digitized and available everywhere is so tempting.