4 ms·

Last time someone talked about automating proofs, a whole new field was invented (computer science)