4 ms·> mathematician make errors. I want something that can be checked formally. So you mean math?by GalacticDomin8r 13y ago> mathematician make errors. I want something that can be checked formally. So you mean math?