3 ms·Formalization is mechanical work, lets leave it for computers to do :)by SonOfLilit 2y agoFormalization is mechanical work, lets leave it for computers to do :)Davidzheng 2y agoI completely agree