3 ms·I see what you nean: the computer as a tool, rather than as the one that does tge proving.by wlievens 13y agoI see what you nean: the computer as a tool, rather than as the one that does tge proving.