2 ms·computability proofs could be a fun one for kids.by a-dub 3y agocomputability proofs could be a fun one for kids.