3 ms·I don't think anyone suggested that.by gregjor 5mo agoI don't think anyone suggested that.jmalicki 5mo agoI suggested that. You should be able to look at algorithmic code and prove it correct without worrying about running it.