3 ms·I was talking about deductive proving, not constructive in particular.by ernst_klim 7y agoI was talking about deductive proving, not constructive in particular.