4 ms·

I believe that a "Formalization, Mechanization and Automation" of any logic proof would enter in the definition of science