On Sat, 30 Jul 2016, leif wrote:
Well, in addition a (boolean) 'certify' (or 'certificate', more misleading here) parameter/keyword could just mean that you don't want a /probabilistic/ result, as in for example is_prime(), where it's called 'proof' (not even 'prove' or 'provably').
True. So we should use only "certificate" and "proof", I guess. -- Jori Mäntysalo
