3 ms·Is quite a large stone's throw away from both computer science and standard mathematical proofs.by j2kun 13y agoIs quite a large stone's throw away from both computer science and standard mathematical proofs.